Documentation

partial_eval :: Context -> [(Name, Maybe Int)] -> [Either Term (Term, Term)] -> [Either Term (Term, Term)]Source

getSpecApps :: IState -> [Name] -> Term -> [(Name, [(PEArgType, Term)])]Source

specType :: [(PEArgType, Term)] -> Type -> (Type, [(PEArgType, Term)])Source

mkPE_TyDecl :: IState -> [(PEArgType, Term)] -> Type -> PTermSource

mkPE_TermDecl :: IState -> Name -> Name -> [(PEArgType, Term)] -> [(PTerm, PTerm)]Source

data PEArgType Source