Control.ConstraintClasses

Constraint

type family Dom (f :: * -> *) a :: Constraint

Base classes

class CFunctor f

(<$>:)

class CApply f

(<*>:)

class CApplicative f

class CMonad f

(>>=:)

(=<<:)

class CAlt f

(<|>:)

class CAlternative f

class CFoldable f

class CTraversable t

Key classes

type family CKey (f :: * -> *)

class CLookup f

(!?)

class CIndexable f

(!)

class CKeyed f

class CZip f

class CZipWithKey f

class CFoldableWithKey f

class CTraversableWithKey t

class CAdjustable f