Argo.Internal.Codec.Codec

Documentation

data Codec r w s i o

Constructors

Codec

Fields

• decode :: r o
• encode :: i -> w o
• schema :: s

Instances

(Alternative r, Alternative w, Applicative s, Monoid a) => Alternative (Codec r w (s a) i)

Defined in Argo.Internal.Codec.Codec

Methods

empty :: Codec r w (s a) i a0

(<|>) :: Codec r w (s a) i a0 -> Codec r w (s a) i a0 -> Codec r w (s a) i a0

some :: Codec r w (s a) i a0 -> Codec r w (s a) i [a0]

many :: Codec r w (s a) i a0 -> Codec r w (s a) i [a0]

(Applicative r, Applicative w, Applicative s, Monoid a) => Applicative (Codec r w (s a) i)

Defined in Argo.Internal.Codec.Codec

Methods

pure :: a0 -> Codec r w (s a) i a0

(<*>) :: Codec r w (s a) i (a0 -> b) -> Codec r w (s a) i a0 -> Codec r w (s a) i b

liftA2 :: (a0 -> b -> c) -> Codec r w (s a) i a0 -> Codec r w (s a) i b -> Codec r w (s a) i c

(*>) :: Codec r w (s a) i a0 -> Codec r w (s a) i b -> Codec r w (s a) i b

(<*) :: Codec r w (s a) i a0 -> Codec r w (s a) i b -> Codec r w (s a) i a0

(Functor r, Functor w) => Functor (Codec r w s i)

Defined in Argo.Internal.Codec.Codec

Methods

fmap :: (a -> b) -> Codec r w s i a -> Codec r w s i b

(<$) :: a -> Codec r w s i b -> Codec r w s i a

map :: (Functor r, Functor w) => (a -> b) -> (b -> a) -> Codec r w s a a -> Codec r w s b b

mapMaybe :: (Alternative r, Alternative w, Monad r, Monad w) => (o2 -> Maybe o1) -> (i1 -> Maybe i2) -> Codec r w s i2 o2 -> Codec r w s i1 o1

project :: (i -> f) -> Codec r w s f o -> Codec r w s i o

tap :: Functor f => (a -> f b) -> a -> f a

toAlternative :: Alternative m => Maybe a -> m a