TParsec.Result

MkRT : (runResultT : m (Result e a)) -> ResultT e m a

data Result : Type -> Type -> Type

HardFail : e -> Result e a

SoftFail : e -> Result e a

Value : a -> Result e a

record ResultT e m a

e

 

m

 

a

 

MkRT : (runResultT : m (Result e a)) -> ResultT e m a

runResultT : (rec : ResultT e m a) -> m (Result e a)

fromMaybe : e -> Maybe a -> Result e a

result : (h : e -> b) -> (s : e -> b) -> (v : a -> b) -> Result e a -> b