Argo.Internal.Codec.Object

Documentation

type Object a = Member a a

type Member a b = Item (AccumT (Map Identifier Schema) Identity [((Name, Bool), (Maybe Identifier, Schema))]) (Member Value) a b

fromObjectCodec :: Permission -> Object a -> Value a

required :: Name -> Value a -> Object a

optional :: Name -> Value a -> Object (Optional a)

tagged :: String -> Value a -> Value a