Env.Internal.Val

Documentation

data Val e a

A type isomorphic to Either with the accumulating Applicative instance.

Constructors

Err e

Ok a

Instances

Monoid e => Alternative (Val e)

Defined in Env.Internal.Val

Methods

empty :: Val e a

(<|>) :: Val e a -> Val e a -> Val e a

some :: Val e a -> Val e [a]

many :: Val e a -> Val e [a]

Monoid e => Applicative (Val e)

Defined in Env.Internal.Val

Methods

pure :: a -> Val e a

(<*>) :: Val e (a -> b) -> Val e a -> Val e b

liftA2 :: (a -> b -> c) -> Val e a -> Val e b -> Val e c

(*>) :: Val e a -> Val e b -> Val e b

(<*) :: Val e a -> Val e b -> Val e a

Functor (Val e)

Defined in Env.Internal.Val

Methods

fmap :: (a -> b) -> Val e a -> Val e b

(<$) :: a -> Val e b -> Val e a

(Show e, Show a) => Show (Val e a)

Defined in Env.Internal.Val

Methods

showsPrec :: Int -> Val e a -> ShowS

show :: Val e a -> String

showList :: [Val e a] -> ShowS

(Eq e, Eq a) => Eq (Val e a)

Defined in Env.Internal.Val

Methods

(==) :: Val e a -> Val e a -> Bool

(/=) :: Val e a -> Val e a -> Bool

fromEither :: Either e a -> Val e a

toEither :: Val e a -> Either e a