DrHylo-0.0.1: A tool for deriving hylomorphisms Source code Contents Index

Language.Pointwise.Syntax

Documentation

data Term Source

Constructors Var String Unit Const String Term :&: Term Fst Term Snd Term Case Term Term Term Match Term [(Term, Term)] Inl Term Inr Term Lam String Term Term :@: Term In Term Out Term Fix Term Instances Eq Term Data Term Show Term Typeable Term

isPair :: Term -> Bool Source

pwFst :: Term -> Term Source

pwSnd :: Term -> Term Source

isInl :: Term -> Bool Source

isInr :: Term -> Bool Source

isInlr :: Term -> Bool Source

isIn :: Term -> Bool Source

free :: Term -> [String] Source

subst :: [(String, Term)] -> Term -> Term Source

step :: Term -> Term Source

replace :: [(String, Term)] -> Term -> Term Source

distr :: Term Source

swap :: Term Source

coswap :: Term Source

assocr :: Term Source

coassocr :: Term Source

test :: Term Source

Produced by Haddock version 2.7.2