Safe Haskell	None
Language	Haskell2010

UVMHS.Lib.Pretty.Annotation

Documentation

Constructors

Instances details

Show Format Source #
Instance details Defined in UVMHS.Lib.Pretty.Annotation Methods showsPrec :: Int -> Format -> ShowS # show :: Format -> String # showList :: [Format] -> ShowS #
Eq Format Source #
Instance details Defined in UVMHS.Lib.Pretty.Annotation Methods (==) :: Format -> Format -> Bool # (/=) :: Format -> Format -> Bool #
Ord Format Source #
Instance details Defined in UVMHS.Lib.Pretty.Annotation Methods compare :: Format -> Format -> Ordering # (<) :: Format -> Format -> Bool # (<=) :: Format -> Format -> Bool # (>) :: Format -> Format -> Bool # (>=) :: Format -> Format -> Bool # max :: Format -> Format -> Format # min :: Format -> Format -> Format #

Constructors

Formats
Fields fgFormats :: 𝑂 Color bgFormats :: 𝑂 Color ulFormats :: 𝑂 𝔹 bdFormats :: 𝑂 𝔹 itFormats :: 𝑂 𝔹

Instances details

Show Formats Source #
Instance details Defined in UVMHS.Lib.Pretty.Annotation Methods showsPrec :: Int -> Formats -> ShowS # show :: Formats -> String # showList :: [Formats] -> ShowS #
Eq Formats Source #
Instance details Defined in UVMHS.Lib.Pretty.Annotation Methods (==) :: Formats -> Formats -> Bool # (/=) :: Formats -> Formats -> Bool #
Ord Formats Source #
Instance details Defined in UVMHS.Lib.Pretty.Annotation Methods compare :: Formats -> Formats -> Ordering # (<) :: Formats -> Formats -> Bool # (<=) :: Formats -> Formats -> Bool # (>) :: Formats -> Formats -> Bool # (>=) :: Formats -> Formats -> Bool # max :: Formats -> Formats -> Formats # min :: Formats -> Formats -> Formats #
Append Formats Source #
Instance details Defined in UVMHS.Lib.Pretty.Annotation Methods (⧺) :: Formats -> Formats -> Formats Source #
Monoid Formats Source #
Instance details Defined in UVMHS.Lib.Pretty.Annotation
Null Formats Source #
Instance details Defined in UVMHS.Lib.Pretty.Annotation Methods null :: Formats Source #
(Pretty (𝑂 Color), Pretty (𝑂 𝔹)) => Pretty Formats Source #
Instance details Defined in UVMHS.Lib.Pretty.DerivedInstances Methods pretty :: Formats -> Doc Source #
Lift Formats Source #
Instance details Defined in UVMHS.Lib.THLiftInstances Methods lift :: Quote m => Formats -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Formats -> Code m Formats #

Constructors

Annotation
Fields annotationFormats :: Formats annotationUndertag :: 𝑂 (ℂ ∧ Formats)

Instances details

Show Annotation Source #
Instance details Defined in UVMHS.Lib.Pretty.Annotation Methods showsPrec :: Int -> Annotation -> ShowS # show :: Annotation -> String # showList :: [Annotation] -> ShowS #
Eq Annotation Source #
Instance details Defined in UVMHS.Lib.Pretty.Annotation Methods (==) :: Annotation -> Annotation -> Bool # (/=) :: Annotation -> Annotation -> Bool #
Ord Annotation Source #
Instance details Defined in UVMHS.Lib.Pretty.Annotation Methods compare :: Annotation -> Annotation -> Ordering # (<) :: Annotation -> Annotation -> Bool # (<=) :: Annotation -> Annotation -> Bool # (>) :: Annotation -> Annotation -> Bool # (>=) :: Annotation -> Annotation -> Bool # max :: Annotation -> Annotation -> Annotation # min :: Annotation -> Annotation -> Annotation #
Append Annotation Source #
Instance details Defined in UVMHS.Lib.Pretty.Annotation Methods (⧺) :: Annotation -> Annotation -> Annotation Source #
Monoid Annotation Source #
Instance details Defined in UVMHS.Lib.Pretty.Annotation
Null Annotation Source #
Instance details Defined in UVMHS.Lib.Pretty.Annotation Methods null :: Annotation Source #
Lift Annotation Source #
Instance details Defined in UVMHS.Lib.THLiftInstances Methods lift :: Quote m => Annotation -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Annotation -> Code m Annotation #