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

Agda.TypeChecking.CompiledClause

Synopsis

Documentation

type :-> key value = Map key value

data Case c

Constructors

Branches 

Instances

compileClauses :: [Clauses] -> CompiledClauses

Note that it is the translated clauses which are compiled, not the original ones.

type Cl = ([Arg Pattern], ClauseBody)

type Cls = [Cl]

splitC :: Int -> Cl -> Case Cl