lambda-cube-0.3.0: Some thoughts on Calculus of Constructions
Safe HaskellSafe-Inferred
LanguageHaskell2010

L3.Util.Util

Description

Utilites for result types and error throwing

Documentation

newtype Error Source #

Constructors

Error ([String], Maybe Error) 

Instances

Instances details
Eq Error Source # 
Instance details

Defined in L3.Util.Util

Methods

(==) :: Error -> Error -> Bool #

(/=) :: Error -> Error -> Bool #

Show Error Source # 
Instance details

Defined in L3.Util.Util

Methods

showsPrec :: Int -> Error -> ShowS #

show :: Error -> String #

showList :: [Error] -> ShowS #

unpack :: [Result a] -> Result [a] Source #

mapL :: (Error -> Error) -> Result a -> Result a Source #

mapR :: (a -> b) -> Result a -> Result b Source #

fmapR :: (a -> Result b) -> Result a -> Result b Source #

throwL :: Result a -> a Source #