Control.Applicative.Constrained

Monoidal / applicative functors

class Monoidal f r t

class Applicative f r t

Helper for constrained categories

constrainedFZipWith

Utility functions

constPure

fzip

(<**>)

liftA

liftA2

liftA3