Safe Haskell	None
Language	Haskell2010

UVMHS.Lib.TreeAnnote

Documentation

class Annote i a | a -> i where Source #

Methods

annote :: i -> a -> a Source #

Instances details

Annote i (𝑇 i a) Source #
Instance details Defined in UVMHS.Lib.TreeAnnote Methods annote :: i -> 𝑇 i a -> 𝑇 i a Source #
Annote i (𝑇V i a) Source #
Instance details Defined in UVMHS.Lib.TreeAnnote Methods annote :: i -> 𝑇V i a -> 𝑇V i a Source #

Constructors

Instances details

(Lift i, Lift a) => Lift (𝑇 i a :: Type) Source #
Instance details Defined in UVMHS.Lib.THLiftInstances Methods lift :: Quote m => 𝑇 i a -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => 𝑇 i a -> Code m (𝑇 i a) #
Single a (𝑇 i a) Source #
Instance details Defined in UVMHS.Lib.TreeAnnote Methods single :: a -> 𝑇 i a Source #
Annote i (𝑇 i a) Source #
Instance details Defined in UVMHS.Lib.TreeAnnote Methods annote :: i -> 𝑇 i a -> 𝑇 i a Source #
Functor (𝑇 i) Source #
Instance details Defined in UVMHS.Lib.TreeAnnote Methods map :: (a -> b) -> 𝑇 i a -> 𝑇 i b Source #
Append (𝑇 i a) Source #
Instance details Defined in UVMHS.Lib.TreeAnnote Methods (⧺) :: 𝑇 i a -> 𝑇 i a -> 𝑇 i a Source #
Monoid (𝑇 i a) Source #
Instance details Defined in UVMHS.Lib.TreeAnnote
Null (𝑇 i a) Source #
Instance details Defined in UVMHS.Lib.TreeAnnote Methods null :: 𝑇 i a Source #

fold𝑇With :: Monoid b => (a -> b) -> (i -> b -> b) -> 𝑇 i a -> b Source #

fold𝑇On :: Monoid b => 𝑇 i a -> (a -> b) -> (i -> b -> b) -> b Source #

Constructors

𝑇V
Fields un𝑇V :: forall b. Monoid b => (a -> b) -> (i -> b -> b) -> b

Instances details

(Lift i, Lift a) => Lift (𝑇V i a :: Type) Source #
Instance details Defined in UVMHS.Lib.THLiftInstances Methods lift :: Quote m => 𝑇V i a -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => 𝑇V i a -> Code m (𝑇V i a) #
Single a (𝑇V i a) Source #
Instance details Defined in UVMHS.Lib.TreeAnnote Methods single :: a -> 𝑇V i a Source #
Annote i (𝑇V i a) Source #
Instance details Defined in UVMHS.Lib.TreeAnnote Methods annote :: i -> 𝑇V i a -> 𝑇V i a Source #
Functor (𝑇V i) Source #
Instance details Defined in UVMHS.Lib.TreeAnnote Methods map :: (a -> b) -> 𝑇V i a -> 𝑇V i b Source #
Append (𝑇V i a) Source #
Instance details Defined in UVMHS.Lib.TreeAnnote Methods (⧺) :: 𝑇V i a -> 𝑇V i a -> 𝑇V i a Source #
Monoid (𝑇V i a) Source #
Instance details Defined in UVMHS.Lib.TreeAnnote
Null (𝑇V i a) Source #
Instance details Defined in UVMHS.Lib.TreeAnnote Methods null :: 𝑇V i a Source #

fold𝑇VOn :: Monoid b => 𝑇V i a -> (a -> b) -> (i -> b -> b) -> b Source #

fold𝑇VWith :: Monoid b => (a -> b) -> (i -> b -> b) -> 𝑇V i a -> b Source #

map𝑇V :: (i -> j) -> (a -> b) -> 𝑇V i a -> 𝑇V j b Source #