uvmhs-0.0.1.0
Safe HaskellNone
LanguageHaskell2010

UVMHS.Lib.TreeNested

Documentation

data 𝑇A a Source #

Constructors

𝑇A 

Fields

Instances

Instances details
Show a => Show (𝑇A a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Methods

showsPrec :: Int -> 𝑇A a -> ShowS #

show :: 𝑇A a -> String #

showList :: [𝑇A a] -> ShowS #

Append (𝑇A a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Methods

(⧺) :: 𝑇A a -> 𝑇A a -> 𝑇A a Source #

Eps (𝑇A a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Methods

eps :: 𝑇A a Source #

Monoid (𝑇A a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Null (𝑇A a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Methods

null :: 𝑇A a Source #

Seq (𝑇A a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Methods

(▷) :: 𝑇A a -> 𝑇A a -> 𝑇A a Source #

Seqoid (𝑇A a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Pretty a => Pretty (𝑇A a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Methods

pretty :: 𝑇A a -> Doc Source #

fold𝑇AWith :: Monoid b => (𝐼 a -> b) -> (𝕊 -> b -> b) -> 𝑇A a -> b Source #

fold𝑇AOn :: Monoid b => 𝑇A a -> (𝐼 a -> b) -> (𝕊 -> b -> b) -> b Source #

key𝑇A :: 𝕊 -> 𝑇A a -> 𝑇A a Source #

val𝑇A :: a -> 𝑇A a Source #

𝐤 :: 𝕊 -> 𝑇A a -> 𝑇A a Source #

𝐯 :: a -> 𝑇A a Source #

keys𝑇A :: 𝐿 𝕊 -> 𝑇A a -> 𝑇A a Source #

data 𝑇D a Source #

Constructors

𝑇D 

Fields

Instances

Instances details
Show a => Show (𝑇D a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Methods

showsPrec :: Int -> 𝑇D a -> ShowS #

show :: 𝑇D a -> String #

showList :: [𝑇D a] -> ShowS #

Append (𝑇D a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Methods

(⧺) :: 𝑇D a -> 𝑇D a -> 𝑇D a Source #

Eps (𝑇D a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Methods

eps :: 𝑇D a Source #

Monoid (𝑇D a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Null (𝑇D a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Methods

null :: 𝑇D a Source #

Seq (𝑇D a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Methods

(▷) :: 𝑇D a -> 𝑇D a -> 𝑇D a Source #

Seqoid (𝑇D a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Pretty a => Pretty (𝑇D a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Methods

pretty :: 𝑇D a -> Doc Source #

fold𝑇DWith :: Monoid b => (𝐼 a -> b) -> (𝕊 -> b -> b) -> 𝑇D a -> b Source #

fold𝑇DOn :: Monoid b => 𝑇D a -> (𝐼 a -> b) -> (𝕊 -> b -> b) -> b Source #

key𝑇D :: 𝕊 -> 𝑇D a -> 𝑇D a Source #

val𝑇D :: a -> 𝑇D a Source #

keys𝑇D :: 𝐿 𝕊 -> 𝑇D a -> 𝑇D a Source #