Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- class Case c xs r where
Documentation
class Case c xs r where Source #
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.
Typeable Type (Head Type xs) => Case CaseTypeable xs r Source # | |
UniqueMember * (Head * xs -> r) fs => Case (Cases fs) xs r Source # | UndecidableInstances because |
MemberAt * n (Head * xs -> r) fs => Case (CasesN fs n) xs r Source # | UndecidableInstances because |