maam-0.3.0.0: Monadic Abstracting Abstract Machines (MAAM) built on Galois Transformers

Safe HaskellNone
LanguageHaskell2010

FP.Prelude.TemplateHaskell

Documentation

class MonadQ m where Source

Methods

qio :: Q a -> m a Source

Instances

thString :: 𝕊 -> Exp Source

thConName :: Con -> Name Source

thTyVarBndrName :: TyVarBndr -> Name Source

thSingleClause :: [Pat] -> Exp -> Clause Source

thSingleMatch :: Pat -> Exp -> Match Source

thViewSimpleCon :: Con -> Maybe (Name, [Type]) Source

thTyConIL :: Prism Info Dec Source

thDataDL :: Prism Dec (Cxt, Name, [TyVarBndr], [Con], [Name]) Source

thNewtypeDL :: Prism Dec (Cxt, Name, [TyVarBndr], Con, [Name]) Source

thViewADT :: Dec -> Maybe (Cxt, Name, [TyVarBndr], [Con], [Name]) Source

thViewSingleConADT :: Dec -> Maybe (Cxt, Name, [TyVarBndr], Con, [Name]) Source

thRecCL :: Prism Con (Name, [VarStrictType]) Source