idris-0.9.14.3: Functional Programming Language with Dependent Types
Idris.Transforms
data TTOpt Source
Constructors
class Transform a where Source
Methods
transform :: TTOpt -> a -> a Source
Instances
natTrans :: [TTOpt] Source
zname :: Name Source
sname :: Name Source
zero :: TT Name -> TT Name Source
suc :: TT Name -> TT Name Source
natcase :: SC -> SC Source