HORIZON HASKELLDocslts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Moduleral-0.2.2Haskell2010

Data.RAList.Tree

  • 3 types
  • Packageral-0.2.2
  • Exports3
  • LanguageHaskell2010
  • LicenceGPL-2.0-or-later
  • SourceInternal.hs
newtypenewtype Leaf a
#

A Leaf is isomorphic to Identity, but we reimplement it here to have domain specific type. The short constructor name is a bonus.

Constructors

Instances14Functor, Foldable, Traversable, Foldable1, Distributive, Traversable1, …
  • Functor LeafDefined in ral-0.2.2 · Data.RAList.Tree.Internal
  • Foldable LeafDefined in ral-0.2.2 · Data.RAList.Tree.Internal
  • Traversable LeafDefined in ral-0.2.2 · Data.RAList.Tree.Internal
  • Foldable1 LeafDefined in ral-0.2.2 · Data.RAList.Tree.Internal
  • Distributive LeafDefined in ral-0.2.2 · Data.RAList.Tree.Internal
  • Traversable1 LeafDefined in ral-0.2.2 · Data.RAList.Tree.Internal
  • Representable LeafDefined in ral-0.2.2 · Data.RAList.Tree.Internal
  • IsTree LeafDefined in ral-0.2.2 · Data.RAList.Tree.Internal
  • Eq a => Eq (Leaf a)Defined in ral-0.2.2 · Data.RAList.Tree.Internal
  • Ord a => Ord (Leaf a)Defined in ral-0.2.2 · Data.RAList.Tree.Internal
  • Show a => Show (Leaf a)Defined in ral-0.2.2 · Data.RAList.Tree.Internal
  • NFData a => NFData (Leaf a)Defined in ral-0.2.2 · Data.RAList.Tree.Internal
  • Hashable a => Hashable (Leaf a)Defined in ral-0.2.2 · Data.RAList.Tree.Internal
  • type Rep Leaf = ()Defined in ral-0.2.2 · Data.RAList.Tree.Internal
datadata Node (f :: Type -> Type) a
#

Node is a product of two f. This way we can form a perfect binary tree.

Constructors

  • Nd (f a) (f a)
Instances14Functor, Foldable, Traversable, Foldable1, Distributive, Traversable1, …
datadata Dir a
#

Direction in Node.

Constructors

Instances6Functor, Foldable, Traversable, Eq, Ord, Show
  • Functor DirDefined in ral-0.2.2 · Data.RAList.Tree.Internal
  • Foldable DirDefined in ral-0.2.2 · Data.RAList.Tree.Internal
  • Traversable DirDefined in ral-0.2.2 · Data.RAList.Tree.Internal
  • Eq a => Eq (Dir a)Defined in ral-0.2.2 · Data.RAList.Tree.Internal
  • Ord a => Ord (Dir a)Defined in ral-0.2.2 · Data.RAList.Tree.Internal
  • Show a => Show (Dir a)Defined in ral-0.2.2 · Data.RAList.Tree.Internal