IdrisDoc: Control.ST.VarList

Control.ST.VarList

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