IdrisDoc: Control.ST.Resources

Control.ST.Resources

data Resources : Type
Nil : Resources
(::) : Resource -> Resources -> Resources
Fixity
Left associative, precedence 7
(++) : Resources -> Resources -> Resources
Fixity
Left associative, precedence 7