Argo.Result

Documentation

data Result a

Constructors

Failure String

Success a

Instances

Monad Result

Defined in Argo.Result

Methods

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

(>>) :: Result a -> Result b -> Result b

return :: a -> Result a

Functor Result

Defined in Argo.Result

Methods

fmap :: (a -> b) -> Result a -> Result b

(<$) :: a -> Result b -> Result a

MonadFail Result

Defined in Argo.Result

Methods

fail :: String -> Result a

Applicative Result

Defined in Argo.Result

Methods

pure :: a -> Result a

(<*>) :: Result (a -> b) -> Result a -> Result b

liftA2 :: (a -> b -> c) -> Result a -> Result b -> Result c

(*>) :: Result a -> Result b -> Result b

(<*) :: Result a -> Result b -> Result a

Alternative Result

Defined in Argo.Result

Methods

empty :: Result a

(<|>) :: Result a -> Result a -> Result a

some :: Result a -> Result [a]

many :: Result a -> Result [a]

Eq a => Eq (Result a)

Defined in Argo.Result

Methods

(==) :: Result a -> Result a -> Bool

(/=) :: Result a -> Result a -> Bool

Show a => Show (Result a)

Defined in Argo.Result

Methods

showsPrec :: Int -> Result a -> ShowS

show :: Result a -> String

showList :: [Result a] -> ShowS

Generic (Result a)

Defined in Argo.Result

Associated Types

type Rep (Result a) :: Type -> Type

Methods

from :: Result a -> Rep (Result a) x

to :: Rep (Result a) x -> Result a

NFData a => NFData (Result a)

Defined in Argo.Result

Methods

rnf :: Result a -> ()

type Rep (Result a)

Defined in Argo.Result

type Rep (Result a) = D1 ('MetaData "Result" "Argo.Result" "argo-0.2021.11.7-9j0sCBbyLtLBlzqpZ8NEi5" 'False) (C1 ('MetaCons "Failure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "Success" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

result :: (String -> b) -> (a -> b) -> Result a -> b