Argo.Type.Codec

Documentation

decodeWith :: ValueCodec a -> Value -> Either String a

encodeWith :: ValueCodec a -> a -> Value

project :: (i -> f) -> CodecOf r w f o -> CodecOf r w i o

data CodecOf r w i o

Constructors

Codec

Fields

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

Instances

(Functor r, Functor w) => Functor (CodecOf r w i)

Defined in Argo.Type.Codec

Methods

fmap :: (a -> b) -> CodecOf r w i a -> CodecOf r w i b

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

(Applicative r, Applicative w) => Applicative (CodecOf r w i)

Defined in Argo.Type.Codec

Methods

pure :: a -> CodecOf r w i a

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

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

(*>) :: CodecOf r w i a -> CodecOf r w i b -> CodecOf r w i b

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

(Alternative r, Alternative w) => Alternative (CodecOf r w i)

Defined in Argo.Type.Codec

Methods

empty :: CodecOf r w i a

(<|>) :: CodecOf r w i a -> CodecOf r w i a -> CodecOf r w i a

some :: CodecOf r w i a -> CodecOf r w i [a]

many :: CodecOf r w i a -> CodecOf r w i [a]

type Codec r w a = CodecOf r w a a

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

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

type ValueCodec a = Codec (ReaderT Value (ExceptT String Identity)) (MaybeT (StateT Value Identity)) a

arrayCodec :: ValueCodec (ArrayOf Value)

objectCodec :: ValueCodec (ObjectOf Value)

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

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

tagged :: String -> ValueCodec a -> ValueCodec a

literalCodec :: Value -> ValueCodec ()

type ListCodec e a = Codec (StateT [e] (ExceptT String Identity)) (WriterT [e] Identity) a

fromListCodec :: ValueCodec [e] -> Permission -> ListCodec e a -> ValueCodec a

type ArrayCodec a = ListCodec Value a

fromArrayCodec :: Permission -> ArrayCodec a -> ValueCodec a

element :: ValueCodec a -> ArrayCodec a

type ObjectCodec a = ListCodec (MemberOf Value) a

fromObjectCodec :: Permission -> ObjectCodec a -> ValueCodec a

required :: Name -> ValueCodec a -> ObjectCodec a

optional :: Name -> ValueCodec a -> ObjectCodec (Maybe a)