Safe Haskell	Safe-Inferred
Language	Haskell2010

Env.Internal.Val

Synopsis

Documentation

data Val e a Source #

A type isomorphic to Either with the accumulating Applicative instance.

Constructors

Err e
Ok a

Instances details

Functor (Val e) Source #
Instance details Defined in Env.Internal.Val Methods fmap :: (a -> b) -> Val e a -> Val e b # (<$) :: a -> Val e b -> Val e a #
Monoid e => Applicative (Val e) Source #
Instance details 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 #
Monoid e => Alternative (Val e) Source #
Instance details 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] #
(Eq e, Eq a) => Eq (Val e a) Source #
Instance details Defined in Env.Internal.Val Methods (==) :: Val e a -> Val e a -> Bool # (/=) :: Val e a -> Val e a -> Bool #
(Show e, Show a) => Show (Val e a) Source #
Instance details Defined in Env.Internal.Val Methods showsPrec :: Int -> Val e a -> ShowS # show :: Val e a -> String # showList :: [Val e a] -> ShowS #