Idris.Core.TC

Documentation

data TC' e a

Constructors

OK !a

Error e

Instances

Error e => Monad (TC' e)

Functor (TC' e)

Show a => Show (TC a)

Error e => MonadPlus (TC' e)

(Eq e, Eq a) => Eq (TC' e a)