maam-0.1.0.0: A monadic framework for abstract interpretation.

Safe HaskellNone
LanguageHaskell2010

FP.TH

Documentation

class THApp e where Source

Methods

(#@) :: e -> e -> e infixl 9 Source

Instances

class THTup e where Source

Methods

tup :: [e] -> e Source

Instances

(#@|) :: 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