IdrisDoc: Control.ST.VarList

Control.ST.VarList

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