Zabt.Internal.Index

Newtype for de Bruijn indices.

Documentation

newtype Index

A de Bruijn index.

Constructors

Index

Fields

• value :: Int

Instances

Eq Index

Methods

(==) :: Index -> Index -> Bool

(/=) :: Index -> Index -> Bool

Ord Index

Methods

compare :: Index -> Index -> Ordering

(<) :: Index -> Index -> Bool

(<=) :: Index -> Index -> Bool

(>) :: Index -> Index -> Bool

(>=) :: Index -> Index -> Bool

max :: Index -> Index -> Index

min :: Index -> Index -> Index

Show Index

Methods

showsPrec :: Int -> Index -> ShowS

show :: Index -> String

showList :: [Index] -> ShowS

Freshen Index

Methods

freshen :: Index -> Index

zero :: Index

next :: Index -> Index