Argo.Internal.Codec.List

Documentation

type List s e a = Item s e a a

type Item s e a b = Codec (StateT [e] (ExceptT String Identity)) (WriterT [e] Identity) s a b

fromListCodec :: (Permission -> s -> AccumT (Map Identifier Schema) Identity (Maybe Identifier, Schema)) -> Value [e] -> Permission -> List s e a -> Value a