Data.Diverse.Case

Documentation

class Case c xs r where

This class allows defining handlers that can handle the Head type in the xs typelist. In conjunction with Reiterate, you can define handlers that can handle all the types in the xs typelist.

See Data.Diverse.CaseTypeable and Data.Diverse.Cases.

Minimal complete definition

case'

Methods

case' :: c xs r -> Head xs -> r

Return the handler/continuation when x is observed.

Instances

Typeable Type (Head Type xs) => Case CaseTypeable xs r

Methods

case' :: CaseTypeable xs r -> Head Type xs -> r

UniqueMember * (Head * xs -> r) fs => Case (Cases fs) xs r

UndecidableInstances because fs appers more often.

Methods

case' :: Cases fs xs r -> Head Type xs -> r

MemberAt * n (Head * xs -> r) fs => Case (CasesN fs n) xs r

UndecidableInstances because fs appears more often.

Methods

case' :: CasesN fs n xs r -> Head Type xs -> r