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