Argo.Codec

Documentation

decodeWith :: ValueCodec a -> Value -> Result 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.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.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.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

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

valueCodec :: ValueCodec Value

nullCodec :: ValueCodec Null

booleanCodec :: ValueCodec Boolean

numberCodec :: ValueCodec Number

stringCodec :: ValueCodec String

arrayCodec :: ValueCodec (ArrayOf Value)

objectCodec :: ValueCodec (ObjectOf Value)

boolCodec :: ValueCodec Bool

textCodec :: ValueCodec Text

maybeCodec :: ValueCodec a -> ValueCodec (Maybe a)

eitherCodec :: ValueCodec a -> ValueCodec b -> ValueCodec (Either a b)

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

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

literalCodec :: Value -> ValueCodec ()

data Permission

Constructors

Allow

Forbid

Instances

Eq Permission

Defined in Argo.Codec

Methods

(==) :: Permission -> Permission -> Bool

(/=) :: Permission -> Permission -> Bool

Show Permission

Defined in Argo.Codec

Methods

showsPrec :: Int -> Permission -> ShowS

show :: Permission -> String

showList :: [Permission] -> ShowS

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

tupleCodec :: ValueCodec a -> ValueCodec b -> ValueCodec (a, b)

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)

detect :: (a -> Bool) -> [a] -> Maybe (a, [a])

detectWith :: ([a] -> [a]) -> (a -> Bool) -> [a] -> Maybe (a, [a])