Argo.Internal.Codec.Object
type Object a = Member a a Source #
type Member a b = Item (AccumT (Map Identifier Schema) Identity [((Name, Bool), (Maybe Identifier, Schema))]) (Member Value) a b Source #
fromObjectCodec :: Permission -> Object a -> Value a Source #
required :: Name -> Value a -> Object a Source #
optional :: Name -> Value a -> Object (Optional a) Source #
tagged :: String -> Value a -> Value a Source #