IdrisDoc
: Control.ST.VarList
Index
Control.ST.VarList
data
VarList
:
List
Type
->
Type
Nil
:
VarList
[]
(::)
:
Var
->
VarList
ts
->
VarList
(
t
::
ts
)
Fixity
Left associative, precedence 7
mkRes
:
VarList
tys
->
Resources