Argo.Codec.Value

Documentation

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

encodeWith :: Value a -> a -> Value

type Value a = Codec (ReaderT Value (ExceptT String Identity)) (MaybeT (StateT Value Identity)) (AccumT (Map Identifier Schema) Identity (Maybe Identifier, Schema)) a a

arrayCodec :: Value (Array Value)

objectCodec :: Value (Object Value)

literalCodec :: Value -> Value ()

identified :: forall a. Typeable a => Value a -> Value a

getRef :: Value a -> AccumT (Map Identifier Schema) Identity (Either Schema Identifier)

ref :: Either Schema Identifier -> Value