Argo.Codec.List
type List s e a = Codec (StateT [e] (ExceptT String Identity)) (WriterT [e] Identity) s a a Source #
fromListCodec :: (Permission -> s -> AccumT (Map Identifier Schema) Identity (Maybe Identifier, Schema)) -> Value [e] -> Permission -> List s e a -> Value a Source #