idris

Safe HaskellNone

Idris.Error

Documentation

idrisCatch :: Idris a -> (Err -> Idris a) -> Idris aSource

tctry :: TC a -> TC a -> Idris aSource