Safe Haskell | Safe-Infered |
---|
Documentation
:: Bool | Translate record patterns? |
-> [Clause] | |
-> TCM CompiledClauses |
type Cl = ([Arg Pattern], ClauseBody)Source
compile :: Cls -> CompiledClausesSource
expandCatchAlls :: Int -> Cls -> ClsSource
substBody :: Int -> Integer -> Term -> ClauseBody -> ClauseBodySource