zabt-0.3.0.0: Arity-typed abstract binding trees

Safe HaskellSafe
LanguageHaskell2010

Zabt.Name

Description

Example variable name class you may want to use.

Documentation

data Name Source #

Constructors

Name Int String 

Instances

Eq Name Source # 

Methods

(==) :: Name -> Name -> Bool #

(/=) :: Name -> Name -> Bool #

Ord Name Source # 

Methods

compare :: Name -> Name -> Ordering #

(<) :: Name -> Name -> Bool #

(<=) :: Name -> Name -> Bool #

(>) :: Name -> Name -> Bool #

(>=) :: Name -> Name -> Bool #

max :: Name -> Name -> Name #

min :: Name -> Name -> Name #

Show Name Source # 

Methods

showsPrec :: Int -> Name -> ShowS #

show :: Name -> String #

showList :: [Name] -> ShowS #

IsString Name Source # 

Methods

fromString :: String -> Name #

Freshen Name Source # 

Methods

freshen :: Name -> Name Source #