idris-0.9.11.1: Functional Programming Language with Dependent Types

Safe HaskellNone

Idris.Transforms

Documentation

data TTOpt Source

Constructors

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

class Transform a whereSource

Methods

transform :: TTOpt -> a -> aSource