Argo.Codec.List

Documentation

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

fromListCodec :: (Permission -> s -> Schema) -> Value [e] -> Permission -> List s e a -> Value a