lens-4.13: Lenses, Folds and Traversals

Copyright | (C) 2013-2015 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 | Trustworthy
Language | Haskell98

Control.Lens.Internal.TH

Description

Synopsis

- tySynInstD' :: Name -> [TypeQ] -> TypeQ -> DecQ
- appsT :: TypeQ -> [TypeQ] -> TypeQ
- appsE1 :: ExpQ -> [ExpQ] -> ExpQ
- toTupleT :: [TypeQ] -> TypeQ
- toTupleE :: [ExpQ] -> ExpQ
- toTupleP :: [PatQ] -> PatQ
- conAppsT :: Name -> [Type] -> Type
- bndrName :: TyVarBndr -> Name
- fromSet :: (k -> v) -> Set k -> Map k v
- 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

# Documentation

tySynInstD' :: Name -> [TypeQ] -> TypeQ -> DecQ Source

Compatibility shim for recent changes to template haskell's `tySynInstD`

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.

bndrName :: TyVarBndr -> Name Source

Return `Name` contained in a `TyVarBndr`.

fromSet :: (k -> v) -> Set k -> Map k v 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