Agda-2.3.0.1: A dependently typed functional programming language and proof assistant

Safe HaskellSafe-Infered

Agda.TypeChecking.CompiledClause.Compile

Documentation

compileClauses

Arguments

:: Bool

Translate record patterns?

-> [Clause] 
-> TCM CompiledClauses 

type Cl = ([Arg Pattern], ClauseBody)

type Cls = [Cl]

splitC :: Int -> Cl -> Case Cl