Cautious.Cautious

Documentation

data Cautious w e a

Constructors

CautiousWarning w a

CautiousError e

Instances

Monoid w => Monad (Cautious w e)

Methods

(>>=) :: Cautious w e a -> (a -> Cautious w e b) -> Cautious w e b

(>>) :: Cautious w e a -> Cautious w e b -> Cautious w e b

return :: a -> Cautious w e a

fail :: String -> Cautious w e a

Functor (Cautious w e)

Methods

fmap :: (a -> b) -> Cautious w e a -> Cautious w e b

(<$) :: a -> Cautious w e b -> Cautious w e a

Monoid w => Applicative (Cautious w e)

Methods

pure :: a -> Cautious w e a

(<*>) :: Cautious w e (a -> b) -> Cautious w e a -> Cautious w e b

liftA2 :: (a -> b -> c) -> Cautious w e a -> Cautious w e b -> Cautious w e c

(*>) :: Cautious w e a -> Cautious w e b -> Cautious w e b

(<*) :: Cautious w e a -> Cautious w e b -> Cautious w e a

(Eq w, Eq e, Eq a) => Eq (Cautious w e a)

Methods

(==) :: Cautious w e a -> Cautious w e a -> Bool

(/=) :: Cautious w e a -> Cautious w e a -> Bool

(Show w, Show e, Show a) => Show (Cautious w e a)

Methods

showsPrec :: Int -> Cautious w e a -> ShowS

show :: Cautious w e a -> String

showList :: [Cautious w e a] -> ShowS

Generic (Cautious w e a)

Associated Types

type Rep (Cautious w e a) :: * -> *

Methods

from :: Cautious w e a -> Rep (Cautious w e a) x

to :: Rep (Cautious w e a) x -> Cautious w e a

(ToJSON a, ToJSON w, ToJSON e) => ToJSON (Cautious w e a)

Methods

toJSON :: Cautious w e a -> Value

toEncoding :: Cautious w e a -> Encoding

toJSONList :: [Cautious w e a] -> Value

toEncodingList :: [Cautious w e a] -> Encoding

(FromJSON a, FromJSON w, FromJSON e) => FromJSON (Cautious w e a)

Methods

parseJSON :: Value -> Parser (Cautious w e a)

parseJSONList :: Value -> Parser [Cautious w e a]

(Validity a, Validity w, Validity e) => Validity (Cautious w e a)

Methods

validate :: Cautious w e a -> Validation

isValid :: Cautious w e a -> Bool

type Rep (Cautious w e a)

type Rep (Cautious w e a) = D1 * (MetaData "Cautious" "Cautious.Cautious" "cautious-0.0.0.0-EcS5FFzX5mPDefoKSGi9CI" False) ((:+:) * (C1 * (MetaCons "CautiousWarning" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * w)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)))) (C1 * (MetaCons "CautiousError" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * e))))