Collie.Error

Definitions

data ErrorMsg : Type

Totality: total
Visibility: public export
Constructors:

CouldNotParse : String -> ErrorMsg

MissingOption : String -> ErrorMsg

MissingArgument : ErrorMsg

OptionSetTwice : String -> ErrorMsg

TooManyArguments : ErrorMsg

MissingOptArg : String -> ErrorMsg

Hint: 

Show ErrorMsg

data Error : Type -> Type

Totality: total
Visibility: public export
Constructors:

Fail : List1 ErrorMsg -> Error a

Pure : a -> Error a

Hints:

Applicative Error

Functor Error

Show a => Show (Error a)

throwE : ErrorMsg -> Error a

Totality: total
Visibility: export

fromEither : Either ErrorMsg a -> Error a

Totality: total
Visibility: export

(>>=) : Error a -> (a -> Error b) -> Error b

Totality: total
Visibility: export
Fixity Declaration: infixl operator, level 1

exitWith : List1 ErrorMsg -> IO a

Totality: total
Visibility: export