Argo.Internal.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

withIdentifier :: Identifier -> Value a -> Value a

typeName :: Typeable a => Proxy a -> String

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