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

Language.Pointfree.Syntax

Documentation

data Type Source

Constructors One Base String Fix Funct Type :*: Type Type :+: Type Type :-> Type Instances Eq Type Show Type

data Funct Source

Constructors Id Const Type Funct :**: Funct Funct :++: Funct Instances Eq Funct Show Funct

data Term Source

Constructors ID Term :.: Term FST SND Term :/\: Term INL INR Term :\/: Term AP Curry Term BANG Macro String [Term] Point String IN OUT Hylo Type Term Term HyloO Type Term Term Instances Eq Term Show Term

Produced by Haddock version 2.7.2