zabt-0.4.0.0: Simple-minded abstract binding trees
Zabt.Internal.Nameless
data Scope v x Source #
Constructors
Instances
Methods
(==) :: Scope v x -> Scope v x -> Bool #
(/=) :: Scope v x -> Scope v x -> Bool #
compare :: Scope v x -> Scope v x -> Ordering #
(<) :: Scope v x -> Scope v x -> Bool #
(<=) :: Scope v x -> Scope v x -> Bool #
(>) :: Scope v x -> Scope v x -> Bool #
(>=) :: Scope v x -> Scope v x -> Bool #
max :: Scope v x -> Scope v x -> Scope v x #
min :: Scope v x -> Scope v x -> Scope v x #
showsPrec :: Int -> Scope v x -> ShowS #
show :: Scope v x -> String #
showList :: [Scope v x] -> ShowS #
data Nameless v f x Source #
(==) :: Nameless v f x -> Nameless v f x -> Bool #
(/=) :: Nameless v f x -> Nameless v f x -> Bool #
compare :: Nameless v f x -> Nameless v f x -> Ordering #
(<) :: Nameless v f x -> Nameless v f x -> Bool #
(<=) :: Nameless v f x -> Nameless v f x -> Bool #
(>) :: Nameless v f x -> Nameless v f x -> Bool #
(>=) :: Nameless v f x -> Nameless v f x -> Bool #
max :: Nameless v f x -> Nameless v f x -> Nameless v f x #
min :: Nameless v f x -> Nameless v f x -> Nameless v f x #
showsPrec :: Int -> Nameless v f x -> ShowS #
show :: Nameless v f x -> String #
showList :: [Nameless v f x] -> ShowS #