maam-0.2.0.1: An application of the Galois Transformers framework to two example semantics.
FP.TH
class THApp e where Source
Methods
(#@) :: e -> e -> e infixl 9 Source
Instances
class THTup e where Source
tup :: [e] -> e Source
(#@|) :: THApp e => e -> [e] -> e infixl 8 Source
app :: THApp e => e -> [e] -> e Source
(==>) :: Type -> Type -> Type infixr 1 Source
makeList :: [Exp] -> Exp Source
makeString :: String -> Exp Source
conName :: Con -> Name Source
tyVarBndrName :: TyVarBndr -> Name Source
sclause :: [Pat] -> Exp -> Clause Source
smatch :: Pat -> Exp -> Match Source
coerceSimpleCon :: Con -> Maybe (Name, [Type]) Source
tyConIL :: Prism Info Dec Source
dataDL :: Prism Dec (Cxt, Name, [TyVarBndr], [Con], [Name]) Source
newtypeDL :: Prism Dec (Cxt, Name, [TyVarBndr], Con, [Name]) Source
coerceADT :: Dec -> Maybe (Cxt, Name, [TyVarBndr], [Con], [Name]) Source
coerceSingleConADT :: Dec -> Maybe (Cxt, Name, [TyVarBndr], Con, [Name]) Source
recCL :: Prism Con (Name, [VarStrictType]) Source