IdrisDoc
: Control.ST.Context
Index
Control.ST.Context
data
Context
:
Type
Nil
:
Context
(::)
:
Resource
->
Context
->
Context
Fixity
Left associative, precedence 7
(++)
:
Context
->
Context
->
Context
Fixity
Left associative, precedence 7