IdrisDoc: Control.ST.Resources

Control.ST.Resources

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