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