Data.Morpheus.Internal.TH

Documentation

_' :: PatQ

apply :: (Apply a, ToCon i a) => i -> [a] -> a

applyCons :: (ToName con, ToName cons) => con -> [cons] -> Q Type

applyVars :: (ToName con, ToName var, Apply res, ToCon con res, ToVar var res) => con -> [var] -> res

declareTypeRef :: (TypeName -> Type) -> TypeRef -> Type

funDSimple :: Name -> [PatQ] -> ExpQ -> DecQ

nameSpaceField :: TypeName -> FieldName -> FieldName

nameSpaceType :: [FieldName] -> TypeName -> TypeName

toCon :: ToCon a b => a -> b

toVar :: ToVar a b => a -> b

class ToName a where

Methods

toName :: a -> Name

Instances

ToName Name

Defined in Data.Morpheus.Internal.TH

Methods

toName :: Name -> Name

ToName String

Defined in Data.Morpheus.Internal.TH

Methods

toName :: String -> Name

ToName TypeName

Defined in Data.Morpheus.Internal.TH

Methods

toName :: TypeName -> Name

ToName FieldName

Defined in Data.Morpheus.Internal.TH

Methods

toName :: FieldName -> Name

toString :: ToString a b => a -> b

typeInstanceDec :: Name -> Type -> Type -> Dec

v' :: ToVar Name a => a

vars :: ToVar a b => [a] -> [b]