idris-0.9.14.3: Functional Programming Language with Dependent Types

Safe Haskell	None
Language	Haskell98

Idris.Transforms

Documentation

data TTOpt Source

Constructors

TermTrans (TT Name -> TT Name)
CaseTrans (SC -> SC)

class Transform a where Source

Methods

transform :: TTOpt -> a -> a Source

Instances

Transform CaseAlt
Transform SC
Transform (TT Name)
Transform a => Transform (Binder a)

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