Colonnade.Decoding

Documentation

contramapContent :: forall c1 c2 f a. Contravariant f => (c2 -> c1) -> Decoding f c1 a -> Decoding f c2 a

Converts the content type of a Decoding. The Contravariant f constraint means that f can be Headless but not Headed.

headless :: (content -> Either String a) -> Decoding Headless content a

headed :: content -> (content -> Either String a) -> Decoding Headed content a