uvmhs-0.0.1.0
Safe HaskellNone
LanguageHaskell2010

UVMHS.Core.Classes.Monoid

Documentation

class Null a where Source #

Methods

null :: a Source #

Instances

Instances details
Null ℙ Source # 
Instance details

Defined in UVMHS.Core.FilePath

Methods

null :: ℙ Source #

Null ℕ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

null :: ℕ Source #

Null ℕ16 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

null :: ℕ16 Source #

Null ℕ32 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

null :: ℕ32 Source #

Null ℕ64 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

null :: ℕ64 Source #

Null ℕ8 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

null :: ℕ8 Source #

Null ℚ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

null :: ℚ Source #

Null ℚᴾ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

null :: ℚᴾ Source #

Null ℝ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

null :: ℝ Source #

Null ℝᴾ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

null :: ℝᴾ Source #

Null ℤ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

null :: ℤ Source #

Null ℤ16 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

null :: ℤ16 Source #

Null ℤ32 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

null :: ℤ32 Source #

Null ℤ64 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

null :: ℤ64 Source #

Null ℤ8 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

null :: ℤ8 Source #

Null 𝔹 Source # 
Instance details

Defined in UVMHS.Core.Data.Bool

Methods

null :: 𝔹 Source #

Null 𝔻 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

null :: 𝔻 Source #

Null 𝔻ᴾ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

null :: 𝔻ᴾ Source #

Null 𝕊 Source # 
Instance details

Defined in UVMHS.Core.Data.String

Methods

null :: 𝕊 Source #

Null ParserContext Source # 
Instance details

Defined in UVMHS.Lib.Parser.ParserContext

Methods

null :: ParserContext Source #

Null LexerBasicSyntax Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

null :: LexerBasicSyntax Source #

Null LexerWSBasicSyntax Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

null :: LexerWSBasicSyntax Source #

Null Annotation Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Annotation

Methods

null :: Annotation Source #

Null Formats Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Annotation

Methods

null :: Formats Source #

Null SummaryI Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Common

Methods

null :: SummaryI Source #

Null SummaryO Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Common

Methods

null :: SummaryO Source #

Null Doc Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

null :: Doc Source #

Null DocA Source # 
Instance details

Defined in UVMHS.Lib.Pretty.DocA

Methods

null :: DocA Source #

Null RenderUT Source # 
Instance details

Defined in UVMHS.Lib.Pretty.RenderUndertags

Methods

null :: RenderUT Source #

Null Shape Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Shape

Methods

null :: Shape Source #

Null ShapeA Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Shape

Methods

null :: ShapeA Source #

Null TestsOut Source # 
Instance details

Defined in UVMHS.Lib.Testing

Methods

null :: TestsOut Source #

Null () Source # 
Instance details

Defined in UVMHS.Core.Data.Unit

Methods

null :: () Source #

Null (Compose a) Source # 
Instance details

Defined in UVMHS.Core.Classes.Monoid

Methods

null :: Compose a Source #

Null (ESet (StdESD e)) Source # 
Instance details

Defined in UVMHS.Core.Data.Dict

Methods

null :: ESet (StdESD e) Source #

Null (𝐼 a) Source # 
Instance details

Defined in UVMHS.Core.Data.Iter

Methods

null :: 𝐼 a Source #

Null (𝐿 a) Source # 
Instance details

Defined in UVMHS.Core.Data.List

Methods

null :: 𝐿 a Source #

Null a => Null (𝑂 a) Source # 
Instance details

Defined in UVMHS.Core.Data.Option

Methods

null :: 𝑂 a Source #

Null (𝑃 a) Source # 
Instance details

Defined in UVMHS.Core.Data.Set

Methods

null :: 𝑃 a Source #

Null (𝑄 a) Source # 
Instance details

Defined in UVMHS.Core.Data.Sequence

Methods

null :: 𝑄 a Source #

Null a => Null (ID a) Source # 
Instance details

Defined in UVMHS.Core.Monads

Methods

null :: ID a Source #

Return m => Null (MU m) Source # 
Instance details

Defined in UVMHS.Core.Monads

Methods

null :: MU m Source #

Null (AddNull a) Source # 
Instance details

Defined in UVMHS.Core.Pointed

Methods

null :: AddNull a Source #

Null a => Null (AddTop a) Source # 
Instance details

Defined in UVMHS.Core.Pointed

Methods

null :: AddTop a Source #

Null (ZOM a) Source # 
Instance details

Defined in UVMHS.Core.Pointed

Methods

null :: ZOM a Source #

Null (𝐼A a) Source # 
Instance details

Defined in UVMHS.Core.Sized

Methods

null :: 𝐼A a Source #

Null (𝐼AC a) Source # 
Instance details

Defined in UVMHS.Core.Sized

Methods

null :: 𝐼AC a Source #

Null (𝐼C a) Source # 
Instance details

Defined in UVMHS.Core.Sized

Methods

null :: 𝐼C a Source #

Null (𝕍 a) Source # 
Instance details

Defined in UVMHS.Core.Vector

Methods

null :: 𝕍 a Source #

Null (𝑉 a) Source # 
Instance details

Defined in UVMHS.Core.VectorSparse

Methods

null :: 𝑉 a Source #

Null (ParseSubstAction e) Source # 
Instance details

Defined in UVMHS.Lib.Substitution.Substy

Methods

null :: ParseSubstAction e Source #

Null (𝑇A a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Methods

null :: 𝑇A a Source #

Null (𝑇D a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Methods

null :: 𝑇D a Source #

Null a => Null (AddInf a) Source # 
Instance details

Defined in UVMHS.Lib.ZerInf

Methods

null :: AddInf a Source #

Null [a] Source # 
Instance details

Defined in UVMHS.Core.Data.LazyList

Methods

null :: [a] Source #

Return m => Null (MCompose m a) Source # 
Instance details

Defined in UVMHS.Core.Classes.Monoid

Methods

null :: MCompose m a Source #

Null (EDct (StdESD k) a) Source # 
Instance details

Defined in UVMHS.Core.Data.Dict

Methods

null :: EDct (StdESD k) a Source #

Null (k ⇰ a) Source # 
Instance details

Defined in UVMHS.Core.Data.Dict

Methods

null :: k ⇰ a Source #

(Null a, Null b) => Null (a ∧ b) Source # 
Instance details

Defined in UVMHS.Core.Data.Pair

Methods

null :: a ∧ b Source #

Null b => Null (a ∨ b) Source # 
Instance details

Defined in UVMHS.Core.Data.Choice

Methods

null :: a ∨ b Source #

(Func Null m, Null a) => Null (FailT m a) Source # 
Instance details

Defined in UVMHS.Core.Monads

Methods

null :: FailT m a Source #

(Null e, Null a) => Null (𝐴 e a) Source # 
Instance details

Defined in UVMHS.Lib.Annotated

Methods

null :: 𝐴 e a Source #

Null (CParser t a) Source # 
Instance details

Defined in UVMHS.Lib.Parser.CParser

Methods

null :: CParser t a Source #

Null (Mixes t a) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Mixfix

Methods

null :: Mixes t a Source #

Null (Mixfix t a) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Mixfix

Methods

null :: Mixfix t a Source #

Zero u => Null (RegexInfo o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

null :: RegexInfo o u Source #

Zero u => Null (RegexResult o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

null :: RegexResult o u Source #

Null a => Null (Sep i a) Source # 
Instance details

Defined in UVMHS.Lib.Sep

Methods

null :: Sep i a Source #

Null (Subst s e) Source # 
Instance details

Defined in UVMHS.Lib.Substitution.Substy

Methods

null :: Subst s e Source #

Null (𝑇 i a) Source # 
Instance details

Defined in UVMHS.Lib.TreeAnnote

Methods

null :: 𝑇 i a Source #

Null (𝑇V i a) Source # 
Instance details

Defined in UVMHS.Lib.TreeAnnote

Methods

null :: 𝑇V i a Source #

Null a => Null (WindowL i a) Source # 
Instance details

Defined in UVMHS.Lib.Window

Methods

null :: WindowL i a Source #

Null a => Null (WindowR i a) Source # 
Instance details

Defined in UVMHS.Lib.Window

Methods

null :: WindowR i a Source #

Null a => Null (r -> a) Source # 
Instance details

Defined in UVMHS.Core.Data.Function

Methods

null :: r -> a Source #

Const Null m => Null (DelayT m a) Source # 
Instance details

Defined in UVMHS.Core.Monads

Methods

null :: DelayT m a Source #

(Func Null m, Null a) => Null (ErrorT e m a) Source # 
Instance details

Defined in UVMHS.Core.Monads

Methods

null :: ErrorT e m a Source #

(Func Null m, Null s, Null a) => Null (StateT s m a) Source # 
Instance details

Defined in UVMHS.Core.Monads

Methods

null :: StateT s m a Source #

Const Null m => Null (UContT m a) Source # 
Instance details

Defined in UVMHS.Core.Monads

Methods

null :: UContT m a Source #

(Func Null m, Null o, Null a) => Null (WriterT o m a) Source # 
Instance details

Defined in UVMHS.Core.Monads

Methods

null :: WriterT o m a Source #

(𝒩 n, Storable a, Null a) => Null (𝕌S n a) Source # 
Instance details

Defined in UVMHS.Core.VectorStatic

Methods

null :: 𝕌S n a Source #

(𝒩 n, Null a) => Null (𝕍S n a) Source # 
Instance details

Defined in UVMHS.Core.VectorStatic

Methods

null :: 𝕍S n a Source #

Null (MixesF t f a) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Mixfix

Methods

null :: MixesF t f a Source #

Null (MixfixF t f a) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Mixfix

Methods

null :: MixfixF t f a Source #

(Func Null m, Null u) => Null (ContT u m a) Source # 
Instance details

Defined in UVMHS.Core.Monads

Methods

null :: ContT u m a Source #

(Func Null m, Null a) => Null (ReaderT r m a) Source # 
Instance details

Defined in UVMHS.Core.Monads

Methods

null :: ReaderT r m a Source #

Zero u => Null (Regex c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

null :: Regex c t o u Source #

(Func Null m, Null o, Null s, Null a) => Null (RWST r o s m a) Source # 
Instance details

Defined in UVMHS.Core.Monads

Methods

null :: RWST r o s m a Source #

class Append a where Source #

Methods

(⧺) :: a -> a -> a infixl 5 Source #

Instances

Instances details
Append ℙ Source # 
Instance details

Defined in UVMHS.Core.FilePath

Methods

(⧺) :: ℙ -> ℙ -> ℙ Source #

Append ℕ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

(⧺) :: ℕ -> ℕ -> ℕ Source #

Append ℕ16 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

(⧺) :: ℕ16 -> ℕ16 -> ℕ16 Source #

Append ℕ32 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

(⧺) :: ℕ32 -> ℕ32 -> ℕ32 Source #

Append ℕ64 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

(⧺) :: ℕ64 -> ℕ64 -> ℕ64 Source #

Append ℕ8 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

(⧺) :: ℕ8 -> ℕ8 -> ℕ8 Source #

Append ℚ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

(⧺) :: ℚ -> ℚ -> ℚ Source #

Append ℚᴾ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

(⧺) :: ℚᴾ -> ℚᴾ -> ℚᴾ Source #

Append ℝ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

(⧺) :: ℝ -> ℝ -> ℝ Source #

Append ℝᴾ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

(⧺) :: ℝᴾ -> ℝᴾ -> ℝᴾ Source #

Append ℤ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

(⧺) :: ℤ -> ℤ -> ℤ Source #

Append ℤ16 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

(⧺) :: ℤ16 -> ℤ16 -> ℤ16 Source #

Append ℤ32 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

(⧺) :: ℤ32 -> ℤ32 -> ℤ32 Source #

Append ℤ64 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

(⧺) :: ℤ64 -> ℤ64 -> ℤ64 Source #

Append ℤ8 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

(⧺) :: ℤ8 -> ℤ8 -> ℤ8 Source #

Append 𝔹 Source # 
Instance details

Defined in UVMHS.Core.Data.Bool

Methods

(⧺) :: 𝔹 -> 𝔹 -> 𝔹 Source #

Append 𝔻 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

(⧺) :: 𝔻 -> 𝔻 -> 𝔻 Source #

Append 𝔻ᴾ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Methods

(⧺) :: 𝔻ᴾ -> 𝔻ᴾ -> 𝔻ᴾ Source #

Append 𝕊 Source # 
Instance details

Defined in UVMHS.Core.Data.String

Methods

(⧺) :: 𝕊 -> 𝕊 -> 𝕊 Source #

Append ParserContext Source # 
Instance details

Defined in UVMHS.Lib.Parser.ParserContext

Methods

(⧺) :: ParserContext -> ParserContext -> ParserContext Source #

Append LexerBasicSyntax Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

(⧺) :: LexerBasicSyntax -> LexerBasicSyntax -> LexerBasicSyntax Source #

Append LexerWSBasicSyntax Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

(⧺) :: LexerWSBasicSyntax -> LexerWSBasicSyntax -> LexerWSBasicSyntax Source #

Append Annotation Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Annotation

Methods

(⧺) :: Annotation -> Annotation -> Annotation Source #

Append Formats Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Annotation

Methods

(⧺) :: Formats -> Formats -> Formats Source #

Append SummaryI Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Common

Methods

(⧺) :: SummaryI -> SummaryI -> SummaryI Source #

Append SummaryO Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Common

Methods

(⧺) :: SummaryO -> SummaryO -> SummaryO Source #

Append Doc Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

(⧺) :: Doc -> Doc -> Doc Source #

Append DocA Source # 
Instance details

Defined in UVMHS.Lib.Pretty.DocA

Methods

(⧺) :: DocA -> DocA -> DocA Source #

Append RenderUT Source # 
Instance details

Defined in UVMHS.Lib.Pretty.RenderUndertags

Methods

(⧺) :: RenderUT -> RenderUT -> RenderUT Source #

Append Shape Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Shape

Methods

(⧺) :: Shape -> Shape -> Shape Source #

Append ShapeA Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Shape

Methods

(⧺) :: ShapeA -> ShapeA -> ShapeA Source #

Append TestsOut Source # 
Instance details

Defined in UVMHS.Lib.Testing

Methods

(⧺) :: TestsOut -> TestsOut -> TestsOut Source #

Append () Source # 
Instance details

Defined in UVMHS.Core.Data.Unit

Methods

(⧺) :: () -> () -> () Source #

Append (Compose a) Source # 
Instance details

Defined in UVMHS.Core.Classes.Monoid

Methods

(⧺) :: Compose a -> Compose a -> Compose a Source #

Ord e => Append (ESet (StdESD e)) Source # 
Instance details

Defined in UVMHS.Core.Data.Dict

Methods

(⧺) :: ESet (StdESD e) -> ESet (StdESD e) -> ESet (StdESD e) Source #

Append (𝐼 a) Source # 
Instance details

Defined in UVMHS.Core.Data.Iter

Methods

(⧺) :: 𝐼 a -> 𝐼 a -> 𝐼 a Source #

Append (𝐿 a) Source # 
Instance details

Defined in UVMHS.Core.Data.List

Methods

(⧺) :: 𝐿 a -> 𝐿 a -> 𝐿 a Source #

Append a => Append (𝑂 a) Source # 
Instance details

Defined in UVMHS.Core.Data.Option

Methods

(⧺) :: 𝑂 a -> 𝑂 a -> 𝑂 a Source #

Ord a => Append (𝑃 a) Source # 
Instance details

Defined in UVMHS.Core.Data.Set

Methods

(⧺) :: 𝑃 a -> 𝑃 a -> 𝑃 a Source #

Append (𝑄 a) Source # 
Instance details

Defined in UVMHS.Core.Data.Sequence

Methods

(⧺) :: 𝑄 a -> 𝑄 a -> 𝑄 a Source #

Append a => Append (ID a) Source # 
Instance details

Defined in UVMHS.Core.Monads

Methods

(⧺) :: ID a -> ID a -> ID a Source #

Bind m => Append (MU m) Source # 
Instance details

Defined in UVMHS.Core.Monads

Methods

(⧺) :: MU m -> MU m -> MU m Source #

Append a => Append (AddNull a) Source # 
Instance details

Defined in UVMHS.Core.Pointed

Methods

(⧺) :: AddNull a -> AddNull a -> AddNull a Source #

Append a => Append (AddTop a) Source # 
Instance details

Defined in UVMHS.Core.Pointed

Methods

(⧺) :: AddTop a -> AddTop a -> AddTop a Source #

Append (ZOM a) Source # 
Instance details

Defined in UVMHS.Core.Pointed

Methods

(⧺) :: ZOM a -> ZOM a -> ZOM a Source #

Append (𝐼A a) Source # 
Instance details

Defined in UVMHS.Core.Sized

Methods

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

Append (𝐼AC a) Source # 
Instance details

Defined in UVMHS.Core.Sized

Methods

(⧺) :: 𝐼AC a -> 𝐼AC a -> 𝐼AC a Source #

Append (𝐼C a) Source # 
Instance details

Defined in UVMHS.Core.Sized

Methods

(⧺) :: 𝐼C a -> 𝐼C a -> 𝐼C a Source #

Append (𝕍 a) Source # 
Instance details

Defined in UVMHS.Core.Vector

Methods

(⧺) :: 𝕍 a -> 𝕍 a -> 𝕍 a Source #

Append a => Append (𝑉 a) Source # 
Instance details

Defined in UVMHS.Core.VectorSparse

Methods

(⧺) :: 𝑉 a -> 𝑉 a -> 𝑉 a Source #

Append (ParseSubstAction e) Source # 
Instance details

Defined in UVMHS.Lib.Substitution.Substy

Methods

(⧺) :: ParseSubstAction e -> ParseSubstAction e -> ParseSubstAction e Source #

Append (𝑇A a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Methods

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

Append (𝑇D a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Methods

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

Append a => Append (AddInf a) Source # 
Instance details

Defined in UVMHS.Lib.ZerInf

Methods

(⧺) :: AddInf a -> AddInf a -> AddInf a Source #

Append [a] Source # 
Instance details

Defined in UVMHS.Core.Data.LazyList

Methods

(⧺) :: [a] -> [a] -> [a] Source #

Bind m => Append (MCompose m a) Source # 
Instance details

Defined in UVMHS.Core.Classes.Monoid

Methods

(⧺) :: MCompose m a -> MCompose m a -> MCompose m a Source #

(Ord k, Append a) => Append (EDct (StdESD k) a) Source # 
Instance details

Defined in UVMHS.Core.Data.Dict

Methods

(⧺) :: EDct (StdESD k) a -> EDct (StdESD k) a -> EDct (StdESD k) a Source #

(Ord k, Append a) => Append (k ⇰ a) Source # 
Instance details

Defined in UVMHS.Core.Data.Dict

Methods

(⧺) :: (k ⇰ a) -> (k ⇰ a) -> k ⇰ a Source #

(Append a, Append b) => Append (a ∧ b) Source # 
Instance details

Defined in UVMHS.Core.Data.Pair

Methods

(⧺) :: (a ∧ b) -> (a ∧ b) -> a ∧ b Source #

(Append a, Append b) => Append (a ∨ b) Source # 
Instance details

Defined in UVMHS.Core.Data.Choice

Methods

(⧺) :: (a ∨ b) -> (a ∨ b) -> a ∨ b Source #

(Func Append m, Append a) => Append (FailT m a) Source # 
Instance details

Defined in UVMHS.Core.Monads

Methods

(⧺) :: FailT m a -> FailT m a -> FailT m a Source #

(Append e, Append a) => Append (𝐴 e a) Source # 
Instance details

Defined in UVMHS.Lib.Annotated

Methods

(⧺) :: 𝐴 e a -> 𝐴 e a -> 𝐴 e a Source #

Ord t => Append (CParser t a) Source # 
Instance details

Defined in UVMHS.Lib.Parser.CParser

Methods

(⧺) :: CParser t a -> CParser t a -> CParser t a Source #

Ord t => Append (Mixes t a) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Mixfix

Methods

(⧺) :: Mixes t a -> Mixes t a -> Mixes t a Source #

Ord t => Append (Mixfix t a) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Mixfix

Methods

(⧺) :: Mixfix t a -> Mixfix t a -> Mixfix t a Source #

Append (ParserError t) Source # 
Instance details

Defined in UVMHS.Lib.Parser.ParserError

Methods

(⧺) :: ParserError t -> ParserError t -> ParserError t Source #

Ord u => Append (RegexInfo o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

(⧺) :: RegexInfo o u -> RegexInfo o u -> RegexInfo o u Source #

Ord u => Append (RegexResult o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

(⧺) :: RegexResult o u -> RegexResult o u -> RegexResult o u Source #

Append a => Append (Sep i a) Source # 
Instance details

Defined in UVMHS.Lib.Sep

Methods

(⧺) :: Sep i a -> Sep i a -> Sep i a Source #

(Ord s, Substy s e e) => Append (Subst s e) Source # 
Instance details

Defined in UVMHS.Lib.Substitution.Substy

Methods

(⧺) :: Subst s e -> Subst s e -> Subst s e Source #

Append (𝑇 i a) Source # 
Instance details

Defined in UVMHS.Lib.TreeAnnote

Methods

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

Append (𝑇V i a) Source # 
Instance details

Defined in UVMHS.Lib.TreeAnnote

Methods

(⧺) :: 𝑇V i a -> 𝑇V i a -> 𝑇V i a Source #

Append a => Append (WindowL i a) Source # 
Instance details

Defined in UVMHS.Lib.Window

Methods

(⧺) :: WindowL i a -> WindowL i a -> WindowL i a Source #

Append a => Append (WindowR i a) Source # 
Instance details

Defined in UVMHS.Lib.Window

Methods

(⧺) :: WindowR i a -> WindowR i a -> WindowR i a Source #

Append a => Append (r -> a) Source # 
Instance details

Defined in UVMHS.Core.Data.Function

Methods

(⧺) :: (r -> a) -> (r -> a) -> r -> a Source #

Const Append m => Append (DelayT m a) Source # 
Instance details

Defined in UVMHS.Core.Monads

Methods

(⧺) :: DelayT m a -> DelayT m a -> DelayT m a Source #

(Func Append m, Append e, Append a) => Append (ErrorT e m a) Source # 
Instance details

Defined in UVMHS.Core.Monads

Methods

(⧺) :: ErrorT e m a -> ErrorT e m a -> ErrorT e m a Source #

(Func Append m, Append s, Append a) => Append (StateT s m a) Source # 
Instance details

Defined in UVMHS.Core.Monads

Methods

(⧺) :: StateT s m a -> StateT s m a -> StateT s m a Source #

Const Append m => Append (UContT m a) Source # 
Instance details

Defined in UVMHS.Core.Monads

Methods

(⧺) :: UContT m a -> UContT m a -> UContT m a Source #

(Func Append m, Append o, Append a) => Append (WriterT o m a) Source # 
Instance details

Defined in UVMHS.Core.Monads

Methods

(⧺) :: WriterT o m a -> WriterT o m a -> WriterT o m a Source #

Ord t => Append (MixesF t f a) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Mixfix

Methods

(⧺) :: MixesF t f a -> MixesF t f a -> MixesF t f a Source #

Ord t => Append (MixfixF t f a) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Mixfix

Methods

(⧺) :: MixfixF t f a -> MixfixF t f a -> MixfixF t f a Source #

(Func Append m, Append u) => Append (ContT u m a) Source # 
Instance details

Defined in UVMHS.Core.Monads

Methods

(⧺) :: ContT u m a -> ContT u m a -> ContT u m a Source #

(Func Append m, Append a) => Append (ReaderT r m a) Source # 
Instance details

Defined in UVMHS.Core.Monads

Methods

(⧺) :: ReaderT r m a -> ReaderT r m a -> ReaderT r m a Source #

(Ord c, Ord t, Ord o, Ord u, Plus u) => Append (Regex c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

(⧺) :: Regex c t o u -> Regex c t o u -> Regex c t o u Source #

(Func Append m, Append o, Append s, Append a) => Append (RWST r o s m a) Source # 
Instance details

Defined in UVMHS.Core.Monads

Methods

(⧺) :: RWST r o s m a -> RWST r o s m a -> RWST r o s m a Source #

class (Null a, Append a) => Monoid a Source #

Instances

Instances details
Monoid ℙ Source # 
Instance details

Defined in UVMHS.Core.FilePath

Monoid ℕ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Monoid ℕ16 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Monoid ℕ32 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Monoid ℕ64 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Monoid ℕ8 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Monoid ℚ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Monoid ℚᴾ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Monoid ℝ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Monoid ℝᴾ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Monoid ℤ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Monoid ℤ16 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Monoid ℤ32 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Monoid ℤ64 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Monoid ℤ8 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Monoid 𝔹 Source # 
Instance details

Defined in UVMHS.Core.Data.Bool

Monoid 𝔻 Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Monoid 𝔻ᴾ Source # 
Instance details

Defined in UVMHS.Core.Data.Arithmetic

Monoid 𝕊 Source # 
Instance details

Defined in UVMHS.Core.Data.String

Monoid ParserContext Source # 
Instance details

Defined in UVMHS.Lib.Parser.ParserContext

Monoid LexerBasicSyntax Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Monoid LexerWSBasicSyntax Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Monoid Annotation Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Annotation

Monoid Formats Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Annotation

Monoid SummaryI Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Common

Monoid SummaryO Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Common

Monoid Doc Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Monoid DocA Source # 
Instance details

Defined in UVMHS.Lib.Pretty.DocA

Monoid RenderUT Source # 
Instance details

Defined in UVMHS.Lib.Pretty.RenderUndertags

Monoid Shape Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Shape

Monoid ShapeA Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Shape

Monoid TestsOut Source # 
Instance details

Defined in UVMHS.Lib.Testing

Monoid () Source # 
Instance details

Defined in UVMHS.Core.Data.Unit

Monoid (Compose a) Source # 
Instance details

Defined in UVMHS.Core.Classes.Monoid

Ord e => Monoid (ESet (StdESD e)) Source # 
Instance details

Defined in UVMHS.Core.Data.Dict

Monoid (𝐼 a) Source # 
Instance details

Defined in UVMHS.Core.Data.Iter

Monoid (𝐿 a) Source # 
Instance details

Defined in UVMHS.Core.Data.List

Monoid a => Monoid (𝑂 a) Source # 
Instance details

Defined in UVMHS.Core.Data.Option

Ord a => Monoid (𝑃 a) Source # 
Instance details

Defined in UVMHS.Core.Data.Set

Monoid (𝑄 a) Source # 
Instance details

Defined in UVMHS.Core.Data.Sequence

(Null a, Append a) => Monoid (ID a) Source # 
Instance details

Defined in UVMHS.Core.Monads

Monad m => Monoid (MU m) Source # 
Instance details

Defined in UVMHS.Core.Monads

Append a => Monoid (AddNull a) Source # 
Instance details

Defined in UVMHS.Core.Pointed

Monoid a => Monoid (AddTop a) Source # 
Instance details

Defined in UVMHS.Core.Pointed

Monoid (ZOM a) Source # 
Instance details

Defined in UVMHS.Core.Pointed

Monoid (𝐼A a) Source # 
Instance details

Defined in UVMHS.Core.Sized

Monoid (𝐼AC a) Source # 
Instance details

Defined in UVMHS.Core.Sized

Monoid (𝐼C a) Source # 
Instance details

Defined in UVMHS.Core.Sized

Monoid (𝕍 a) Source # 
Instance details

Defined in UVMHS.Core.Vector

Append a => Monoid (𝑉 a) Source # 
Instance details

Defined in UVMHS.Core.VectorSparse

Monoid (ParseSubstAction e) Source # 
Instance details

Defined in UVMHS.Lib.Substitution.Substy

Monoid (𝑇A a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Monoid (𝑇D a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Monoid a => Monoid (AddInf a) Source # 
Instance details

Defined in UVMHS.Lib.ZerInf

Monoid [a] Source # 
Instance details

Defined in UVMHS.Core.Data.LazyList

Monad m => Monoid (MCompose m a) Source # 
Instance details

Defined in UVMHS.Core.Classes.Monoid

(Ord k, Append a) => Monoid (EDct (StdESD k) a) Source # 
Instance details

Defined in UVMHS.Core.Data.Dict

(Ord k, Append a) => Monoid (k ⇰ a) Source # 
Instance details

Defined in UVMHS.Core.Data.Dict

(Monoid a, Monoid b) => Monoid (a ∧ b) Source # 
Instance details

Defined in UVMHS.Core.Data.Pair

(Append a, Monoid b) => Monoid (a ∨ b) Source # 
Instance details

Defined in UVMHS.Core.Data.Choice

(Func Null m, Func Append m, Monoid a) => Monoid (FailT m a) Source # 
Instance details

Defined in UVMHS.Core.Monads

Ord t => Monoid (CParser t a) Source # 
Instance details

Defined in UVMHS.Lib.Parser.CParser

Ord t => Monoid (Mixes t a) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Mixfix

Ord t => Monoid (Mixfix t a) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Mixfix

(Ord u, Zero u) => Monoid (RegexInfo o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

(Ord u, Zero u) => Monoid (RegexResult o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Monoid a => Monoid (Sep i a) Source # 
Instance details

Defined in UVMHS.Lib.Sep

(Ord s, Substy s e e) => Monoid (Subst s e) Source # 
Instance details

Defined in UVMHS.Lib.Substitution.Substy

Monoid (𝑇 i a) Source # 
Instance details

Defined in UVMHS.Lib.TreeAnnote

Monoid (𝑇V i a) Source # 
Instance details

Defined in UVMHS.Lib.TreeAnnote

Monoid a => Monoid (WindowL i a) Source # 
Instance details

Defined in UVMHS.Lib.Window

Monoid a => Monoid (WindowR i a) Source # 
Instance details

Defined in UVMHS.Lib.Window

Monoid a => Monoid (r -> a) Source # 
Instance details

Defined in UVMHS.Core.Data.Function

(Const Null m, Const Append m) => Monoid (DelayT m a) Source # 
Instance details

Defined in UVMHS.Core.Monads

(Func Null m, Func Append m, Append e, Monoid a) => Monoid (ErrorT e m a) Source # 
Instance details

Defined in UVMHS.Core.Monads

(Func Null m, Func Append m, Monoid s, Monoid a) => Monoid (StateT s m a) Source # 
Instance details

Defined in UVMHS.Core.Monads

Const Monoid m => Monoid (UContT m a) Source # 
Instance details

Defined in UVMHS.Core.Monads

(Func Null m, Func Append m, Monoid o, Monoid a) => Monoid (WriterT o m a) Source # 
Instance details

Defined in UVMHS.Core.Monads

Ord t => Monoid (MixesF t f a) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Mixfix

Ord t => Monoid (MixfixF t f a) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Mixfix

(Func Null m, Func Append m, Monoid u) => Monoid (ContT u m a) Source # 
Instance details

Defined in UVMHS.Core.Monads

(Func Null m, Func Append m, Monoid a) => Monoid (ReaderT r m a) Source # 
Instance details

Defined in UVMHS.Core.Monads

(Ord c, Ord t, Ord o, Ord u, Additive u) => Monoid (Regex c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

(Func Null m, Func Append m, Monoid o, Monoid s, Monoid a) => Monoid (RWST r o s m a) Source # 
Instance details

Defined in UVMHS.Core.Monads

prepend :: Append a => a -> a -> a Source #

pospend :: Append a => a -> a -> a Source #

class Unit a where Source #

Methods

unit :: a Source #

Instances

Instances details
(Ord a, Null a) => Unit (𝑃 a) Source # 
Instance details

Defined in UVMHS.Core.Data.Set

Methods

unit :: 𝑃 a Source #

Null a => Unit (𝑉 a) Source # 
Instance details

Defined in UVMHS.Core.VectorSparse

Methods

unit :: 𝑉 a Source #

(Ord k, Null k, Null a) => Unit (k ⇰ a) Source # 
Instance details

Defined in UVMHS.Core.Data.Dict

Methods

unit :: k ⇰ a Source #

class Cross a where Source #

Methods

(⨳) :: a -> a -> a infixl 6 Source #

Instances

Instances details
(Ord a, Append a) => Cross (𝑃 a) Source # 
Instance details

Defined in UVMHS.Core.Data.Set

Methods

(⨳) :: 𝑃 a -> 𝑃 a -> 𝑃 a Source #

(Append a, Cross a) => Cross (𝑉 a) Source # 
Instance details

Defined in UVMHS.Core.VectorSparse

Methods

(⨳) :: 𝑉 a -> 𝑉 a -> 𝑉 a Source #

(Ord k, Append k, Append a, Cross a) => Cross (k ⇰ a) Source # 
Instance details

Defined in UVMHS.Core.Data.Dict

Methods

(⨳) :: (k ⇰ a) -> (k ⇰ a) -> k ⇰ a Source #

class (Monoid a, Unit a, Cross a) => Prodoid a Source #

Instances

Instances details
(Ord a, Monoid a) => Prodoid (𝑃 a) Source # 
Instance details

Defined in UVMHS.Core.Data.Set

Prodoid a => Prodoid (𝑉 a) Source # 
Instance details

Defined in UVMHS.Core.VectorSparse

(Ord k, Monoid k, Prodoid a) => Prodoid (k ⇰ a) Source # 
Instance details

Defined in UVMHS.Core.Data.Dict

class Eps a where Source #

Methods

eps :: a Source #

Instances

Instances details
Eps (𝑇A a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Methods

eps :: 𝑇A a Source #

Eps (𝑇D a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Methods

eps :: 𝑇D a Source #

Eps (CParser t ()) Source # 
Instance details

Defined in UVMHS.Lib.Parser.CParser

Methods

eps :: CParser t () Source #

Zero u => Eps (RegexInfo o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

eps :: RegexInfo o u Source #

Zero u => Eps (RegexResult o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

eps :: RegexResult o u Source #

(Ord c, Ord t, Ord o, Ord u, Zero u) => Eps (Regex c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

eps :: Regex c t o u Source #

class Seq a where Source #

Methods

(▷) :: a -> a -> a infixl 7 Source #

Instances

Instances details
Seq (𝑇A a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Methods

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

Seq (𝑇D a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Methods

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

Ord t => Seq (CParser t ()) Source # 
Instance details

Defined in UVMHS.Lib.Parser.CParser

Methods

(▷) :: CParser t () -> CParser t () -> CParser t () Source #

(Ord u, Plus u) => Seq (RegexInfo o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

(▷) :: RegexInfo o u -> RegexInfo o u -> RegexInfo o u Source #

(Ord u, Plus u) => Seq (RegexResult o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

(▷) :: RegexResult o u -> RegexResult o u -> RegexResult o u Source #

(Ord c, Ord t, Ord o, Ord u, Additive u) => Seq (Regex c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

(▷) :: Regex c t o u -> Regex c t o u -> Regex c t o u Source #

class (Eps a, Seq a) => Seqoid a Source #

Instances

Instances details
Seqoid (𝑇A a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Seqoid (𝑇D a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Ord t => Seqoid (CParser t ()) Source # 
Instance details

Defined in UVMHS.Lib.Parser.CParser

(Ord u, Additive u) => Seqoid (RegexInfo o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

(Ord u, Additive u) => Seqoid (RegexResult o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

(Ord c, Ord t, Ord o, Ord u, Additive u) => Seqoid (Regex c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

opt :: (Append a, Eps a) => a -> a Source #

class Star a where Source #

Methods

star :: a -> a Source #

Instances

Instances details
(Ord c, Ord t, Ord o, Ord u, Zero u) => Star (Regex c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

star :: Regex c t o u -> Regex c t o u Source #

class (Seqoid a, Star a) => Kleene a Source #

Instances

Instances details
(Ord c, Ord t, Ord o, Ord u, Additive u) => Kleene (Regex c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

oom :: Kleene a => a -> a Source #

newtype Compose a Source #

Constructors

Compose 

Fields

Instances

Instances details
Append (Compose a) Source # 
Instance details

Defined in UVMHS.Core.Classes.Monoid

Methods

(⧺) :: Compose a -> Compose a -> Compose a Source #

Monoid (Compose a) Source # 
Instance details

Defined in UVMHS.Core.Classes.Monoid

Null (Compose a) Source # 
Instance details

Defined in UVMHS.Core.Classes.Monoid

Methods

null :: Compose a Source #

newtype MCompose (m :: Type -> Type) a Source #

Constructors

MCompose 

Fields

Instances

Instances details
Bind m => Append (MCompose m a) Source # 
Instance details

Defined in UVMHS.Core.Classes.Monoid

Methods

(⧺) :: MCompose m a -> MCompose m a -> MCompose m a Source #

Monad m => Monoid (MCompose m a) Source # 
Instance details

Defined in UVMHS.Core.Classes.Monoid

Return m => Null (MCompose m a) Source # 
Instance details

Defined in UVMHS.Core.Classes.Monoid

Methods

null :: MCompose m a Source #