case -is:module

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.

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.

Set to True if the language is case sensitive.