lens-4.13.2: Lenses, Folds and Traversals

Copyright(C) 2013-2016 Edward Kmett and Eric Mertens
LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellTrustworthy
LanguageHaskell98

Control.Lens.Internal.TH

Description

 

Synopsis

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

newNames Source

Arguments

:: String

base name

-> Int

count

-> Q [Name] 

Generate many new names from a given base name.

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