IdrisDoc: Control.ST.Env

Control.ST.Env

data Env : Resources -> Type
Nil : Env []
(::) : ty -> Env xs -> Env ((lbl ::: ty) :: xs)
Fixity
Left associative, precedence 7