idris

Safe Haskell	None

Idris.Transforms

Documentation

data TTOpt Source

Constructors

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

class Transform a whereSource

Methods

transform :: TTOpt -> a -> aSource

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