zabt-0.4.0.0: Simple-minded abstract binding trees

Safe Haskell	Safe
Language	Haskell2010

Zabt.Internal.Index

Description

Newtype for de Bruijn indices.

Synopsis

Documentation

newtype Index Source #

A de Bruijn index.

Constructors

Index
Fields value :: Int

Instances

Eq Index Source #
Methods (==) :: Index -> Index -> Bool # (/=) :: Index -> Index -> Bool #
Ord Index Source #
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 Source #
Methods showsPrec :: Int -> Index -> ShowS # show :: Index -> String # showList :: [Index] -> ShowS #
Freshen Index Source #
Methods freshen :: Index -> Index Source #

zero :: Index Source #

next :: Index -> Index Source #