Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Modulerere-0.2.0.2Haskell2010

RERE.Var

Variables, de Bruijn indices and names.

2 types
3 values

Packagerere-0.2.0.2
Exports5
LanguageHaskell2010
LicenceBSD-3-Clause
SourceVar.hs

datadata Var a

Var is essentially Maybe.

Constructors

B
bound
F a
free variable.

Instances7Functor, Foldable, Traversable, Eq, Ord, Show, …

Functor VarDefined in rere-0.2.0.2 · RERE.Var
Foldable VarDefined in rere-0.2.0.2 · RERE.Var
Traversable VarDefined in rere-0.2.0.2 · RERE.Var
Eq a => Eq (Var a)Defined in rere-0.2.0.2 · RERE.Var
Ord a => Ord (Var a)Defined in rere-0.2.0.2 · RERE.Var
Show a => Show (Var a)Defined in rere-0.2.0.2 · RERE.Var
IsString a => IsString (Var a)Defined in rere-0.2.0.2 · RERE.Var

valueunvar :: r -> (a -> r) -> Var a -> r

Analogue of maybe for Var.

valueswapVar :: Var (Var a) -> Var (Var a)

Swap variables.

datadata Name

Names carry information used in pretty-printing, but otherwise they all compare EQual.

Constructors

N String [Char]

Instances4Eq, Ord, Show, IsString

Eq NameDefined in rere-0.2.0.2 · RERE.Var
Ord NameDefined in rere-0.2.0.2 · RERE.Var
Show NameDefined in rere-0.2.0.2 · RERE.Var
IsString NameDefined in rere-0.2.0.2 · RERE.Var

valuederivativeName :: Char -> Name -> Name

Make a name for derivative binding (adds subindex).