Agda-2.2.6: A dependently typed functional programming language and proof assistant
Source code
Contents
Index
Agda.Auto.Print
Documentation
printExp
:: [
MId
] ->
MExp
o ->
IO
String
Source
pexp
::
Int
-> [
MId
] ->
MExp
o ->
IO
String
Source
pid
:: [
MId
] ->
MId
->
String
Source
par
::
Monad
m =>
Int
->
Int
->
String
-> m
String
Source
pelr
:: [
MId
] ->
Elr
o ->
IO
String
Source
pargs
:: [
MId
] ->
MArgList
o ->
IO
String
Source
printConst
::
ConstRef
o ->
IO
String
Source
printClause
::
Clause
o ->
IO
String
Source
printPats
::
Nat
-> [
Pat
o] ->
IO
(
Nat
,
String
)
Source
printPat
::
Nat
->
Pat
o ->
IO
(
Nat
,
String
)
Source
printId
::
String
->
String
Source
Produced by
Haddock
version 2.6.0