Always

Documentation

class Always a

A typeclass that is satisfied for all types.

This is useful when you want to discriminate on the result of applying a type family whose result kind is Constraint, where the result is either meaningful (i.e. not Always) or it is not.

Instances

Always a

Defined in Always