IdrisDoc: Control.ST.VarList

Control.ST.VarList

mkRes : VarList tys -> Resources
data VarList : List Type -> Type
Nil : VarList []
(::) : Var -> VarList ts -> VarList (t :: ts)
Fixity
Left associative, precedence 7