unison-core-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

U.Core.ABT.Var

Synopsis

Documentation

class Ord v => Var v where Source #

A class for avoiding accidental variable capture

  • `Set.notMember (freshIn vs v) vs`: freshIn returns a variable not used in the Set

Methods

freshIn :: Set v -> v -> v Source #