case -package:generic-case

case exp of alts

Case name for the column

(Limited) equivalent of \case { .. } syntax. Supports matching of exact values (-->) and final matches for any value (Any) or for passing value to subcomputation (Else). Examples:

type BoolToNat = Case
[ 'True  --> 0
, 'False --> 1
]

type NatToBool = Case
[ 0 --> 'False
, Any   'True
]

type ZeroOneOrSucc = Case
[ 0  --> 0
, 1  --> 1
, Else   ((+) 1)
]

Handler of a single case in a generalised pattern matching matchCases.

Branches in a case tree.

Case n bs stands for a match on the n-th argument (counting from zero) with bs as the case branches. If the n-th argument is a projection, we have only conBranches with arity 0.

nth column of case clause

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.CaseFunc and Data.Diverse.Cases.

Case and case mapping related functions. This module provides full predicates and mappings that are not compatible with those in Data.Char, which rely on simple properties. See Unicode.Char.Case.Compat for a drop-in replacement of the functions in Data.Char.

A case command.

Pattern-match on the argument (in some ADT). The branches may be incomplete, in which case a default value r is used.

Select an implementation depending on bitness. Throw a compile time error if bitness is neither 32 nor 64.