Yhc Source code Contents Index

CaseHelp

Documentation

data Pattern

Constructors PatternVar [(Exp Id, Fun Id)] PatternCon [(Exp Id, Fun Id)] PatternInt Bool [(Exp Id, Fun Id)] PatternNK [(Exp Id, Fun Id)] PatternIf [(Exp Id, Fun Id)] PatternIrr (Exp Id, Fun Id)

alt2fun :: Alt Id -> Fun Id

getTrans :: ExpI -> [Id]

sortCon :: [(ExpI, Fun Id)] -> [(Id, [([Pos], Fun Id)])]

sortInt :: [(ExpI, Fun Id)] -> [(Int, [Fun Id])]

splitPattern :: (ExpI, ExpI) -> IntState -> [Fun Id] -> [Pattern]

varExp :: PosExp -> CaseFun (Id, PosExp -> PosExp, PosExp)

varExpT :: [a] -> PosExp -> CaseFun ([a], Id, PosExp -> PosExp, PosExp)

dropPatAs :: Exp a -> Exp a

isExpVar :: Exp a -> Bool

needLet :: Pattern -> Bool

Produced by Haddock version 0.8