idris-0.11.2: Functional Programming Language with Dependent Types

Safe Haskell	None
Language	Haskell98

Idris.Elab.Rewrite

Documentation

elabRewrite :: (PTerm -> ElabD ()) -> IState -> FC -> Maybe Name -> PTerm -> PTerm -> Maybe PTerm -> ElabD () Source

elabRewriteLemma :: ElabInfo -> Name -> Type -> Idris () Source