Idris.Error

Synopsis

• iucheck :: Idris ()
• showErr :: Err -> Idris String
• report :: IOError -> String
• idrisCatch :: Idris a -> (Err -> Idris a) -> Idris a
• setAndReport :: Err -> Idris ()
• ifail :: String -> Idris a
• ierror :: Err -> Idris a
• tclift :: TC a -> Idris a
• tctry :: TC a -> TC a -> Idris a
• getErrSpan :: Err -> FC
• warnDisamb :: IState -> PTerm -> Idris ()

Documentation