Copyright	(C) 2013-2016 Edward Kmett and Eric Mertens
License	BSD-style (see the file LICENSE)
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	experimental
Portability	non-portable
Safe Haskell	Safe
Language	Haskell2010

Control.Lens.Internal.TH

Description

Synopsis

appsT :: TypeQ -> [ TypeQ ] -> TypeQ
appsE1 :: ExpQ -> [ ExpQ ] -> ExpQ
toTupleT :: [ TypeQ ] -> TypeQ
toTupleE :: [ ExpQ ] -> ExpQ
toTupleP :: [ PatQ ] -> PatQ
conAppsT :: Name -> [ Type ] -> Type
newNames :: String -> Int -> Q [ Name ]
unfoldType :: Type -> ( Type , [ Type ])
datatypeTypeKinded :: DatatypeInfo -> Type
quantifyType :: Cxt -> Type -> Type
quantifyType' :: Set Name -> Cxt -> Type -> Type
tvbToType :: TyVarBndr_ flag -> Type
unSigT :: Type -> Type
isDataFamily :: DatatypeVariant -> Bool
lensPackageKey :: String
mkLensName_tc :: String -> String -> Name
mkLensName_v :: String -> String -> Name
traversalTypeName :: Name
traversal'TypeName :: Name
lensTypeName :: Name
lens'TypeName :: Name
isoTypeName :: Name
iso'TypeName :: Name
getterTypeName :: Name
foldTypeName :: Name
prismTypeName :: Name
prism'TypeName :: Name
reviewTypeName :: Name
wrappedTypeName :: Name
unwrappedTypeName :: Name
rewrappedTypeName :: Name
_wrapped'ValName :: Name
isoValName :: Name
prismValName :: Name
untoValName :: Name
phantomValName :: Name
phantom2 :: ( Functor f, Contravariant f) => f a -> f b
composeValName :: Name
idValName :: Name
fmapValName :: Name
pureValName :: Name
apValName :: Name
rightDataName :: Name
leftDataName :: Name
inlinePragma :: Name -> [ DecQ ]

Documentation

appsT :: TypeQ -> [ TypeQ ] -> TypeQ Source #

Apply arguments to a type constructor

appsE1 :: ExpQ -> [ ExpQ ] -> ExpQ Source #

Apply arguments to a function

toTupleT :: [ TypeQ ] -> TypeQ Source #

Construct a tuple type given a list of types.

toTupleE :: [ ExpQ ] -> ExpQ Source #

Construct a tuple value given a list of expressions.

toTupleP :: [ PatQ ] -> PatQ Source #

Construct a tuple pattern given a list of patterns.

conAppsT :: Name -> [ Type ] -> Type Source #

Apply arguments to a type constructor.

newNames Source #

Arguments

:: String	base name
-> Int	count
-> Q [ Name ]

Generate many new names from a given base name.

unfoldType :: Type -> ( Type , [ Type ]) Source #

Decompose an applied type into its individual components. For example, this:

Either Int Char

would be unfolded to this:

(ConT ''Either, [ConT ''Int, ConT ''Char])

This function ignores explicit parentheses and visible kind applications.

datatypeTypeKinded :: DatatypeInfo -> Type Source #

quantifyType :: Cxt -> Type -> Type Source #

Template Haskell wants type variables declared in a forall, so we find all free type variables in a given type and declare them.

quantifyType' :: Set Name -> Cxt -> Type -> Type Source #

This function works like quantifyType except that it takes a list of variables to exclude from quantification.

tvbToType :: TyVarBndr_ flag -> Type Source #

Convert a TyVarBndr into its corresponding Type .

unSigT :: Type -> Type Source #

Peel off a kind signature from a Type (if it has one).

isDataFamily :: DatatypeVariant -> Bool Source #

lensPackageKey :: String Source #

mkLensName_tc :: String -> String -> Name Source #

mkLensName_v :: String -> String -> Name Source #

traversalTypeName :: Name Source #

traversal'TypeName :: Name Source #

lensTypeName :: Name Source #

lens'TypeName :: Name Source #

isoTypeName :: Name Source #

iso'TypeName :: Name Source #

getterTypeName :: Name Source #

foldTypeName :: Name Source #

prismTypeName :: Name Source #

prism'TypeName :: Name Source #

reviewTypeName :: Name Source #

wrappedTypeName :: Name Source #

unwrappedTypeName :: Name Source #

rewrappedTypeName :: Name Source #

_wrapped'ValName :: Name Source #

isoValName :: Name Source #

prismValName :: Name Source #

untoValName :: Name Source #

phantomValName :: Name Source #

phantom2 :: ( Functor f, Contravariant f) => f a -> f b Source #

composeValName :: Name Source #

idValName :: Name Source #

fmapValName :: Name Source #

pureValName :: Name Source #

apValName :: Name Source #

rightDataName :: Name Source #

leftDataName :: Name Source #

inlinePragma :: Name -> [ DecQ ] Source #