Argo.Codec.Codec

Documentation

data Codec r w s i o

Constructors

Codec

Fields

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

Instances

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

Defined in Argo.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

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

Defined in Argo.Codec.Codec

Methods

pure :: a -> Codec r w s i a

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

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

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

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

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

Defined in Argo.Codec.Codec

Methods

empty :: Codec r w s i a

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

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

many :: Codec r w s i a -> 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