Agda-2.8.0: A dependently typed functional programming language and proof assistant

Safe Haskell | None
Language | Haskell2010

Agda.Utils.Semigroup

Contents

- Orphan instances

Description

Some semigroup instances used in several places

Synopsis

- class Semigroup a where
  - (<>) :: a -> a -> a

# Documentation

class Semigroup a where Source #

The class of semigroups (types with an associative binary operation).

Instances should satisfy the following:

Associativity
  `x `<>` (y `<>` z) = (x `<>` y) `<>` z`

You can alternatively define `sconcat` instead of (`<>`), in which case the laws are:

Unit
  ``sconcat` (`pure` x) = x`
Multiplication
  ``sconcat` (`join` xss) = `sconcat` (`fmap` `sconcat` xss)`

Since: base-4.9.0.0

Minimal complete definition

(<>) | sconcat

Methods

(<>) :: a -> a -> a infixr 6 Source #

An associative operation.

#### Examples

Expand

    >>> [1,2,3] <> [4,5,6]
    [1,2,3,4,5,6]

    >>> Just [1, 2, 3] <> Just [4, 5, 6]
    Just [1,2,3,4,5,6]

    >>> putStr "Hello, " <> putStrLn "World!"
    Hello, World!

#### Instances

Instances details

Semigroup Doc Source # |
Instance details Defined in Agda.Compiler.JS.Pretty Methods (<>) :: Doc -> Doc -> Doc Source # sconcat :: NonEmpty Doc -> Doc Source # stimes :: Integral b => b -> Doc -> Doc Source #
Semigroup Comment Source # |
Instance details Defined in Agda.Compiler.JS.Syntax Methods (<>) :: Comment -> Comment -> Comment Source # sconcat :: NonEmpty Comment -> Comment Source # stimes :: Integral b => b -> Comment -> Comment Source #
Semigroup HsCompileState Source # |
Instance details Defined in Agda.Compiler.MAlonzo.Misc Methods (<>) :: HsCompileState -> HsCompileState -> HsCompileState Source # sconcat :: NonEmpty HsCompileState -> HsCompileState Source # stimes :: Integral b => b -> HsCompileState -> HsCompileState Source #
Semigroup Occurs Source # |
Instance details Defined in Agda.Compiler.Treeless.Subst Methods (<>) :: Occurs -> Occurs -> Occurs Source # sconcat :: NonEmpty Occurs -> Occurs Source # stimes :: Integral b => b -> Occurs -> Occurs Source #
Semigroup SeqArg Source # |
Instance details Defined in Agda.Compiler.Treeless.Subst Methods (<>) :: SeqArg -> SeqArg -> SeqArg Source # sconcat :: NonEmpty SeqArg -> SeqArg Source # stimes :: Integral b => b -> SeqArg -> SeqArg Source #
Semigroup UnderLambda Source # |
Instance details Defined in Agda.Compiler.Treeless.Subst Methods (<>) :: UnderLambda -> UnderLambda -> UnderLambda Source # sconcat :: NonEmpty UnderLambda -> UnderLambda Source # stimes :: Integral b => b -> UnderLambda -> UnderLambda Source #
Semigroup PositionMap Source # |
Instance details Defined in Agda.Interaction.Highlighting.Precise Methods (<>) :: PositionMap -> PositionMap -> PositionMap Source # sconcat :: NonEmpty PositionMap -> PositionMap Source # stimes :: Integral b => b -> PositionMap -> PositionMap Source #
Semigroup OptionsPragma Source # |
Instance details Defined in Agda.Interaction.Library.Base Methods (<>) :: OptionsPragma -> OptionsPragma -> OptionsPragma Source # sconcat :: NonEmpty OptionsPragma -> OptionsPragma Source # stimes :: Integral b => b -> OptionsPragma -> OptionsPragma Source #
Semigroup Catchall Source # | Composition is left-biased, taking the left `Range` if both have one.
Instance details Defined in Agda.Syntax.Common Methods (<>) :: Catchall -> Catchall -> Catchall Source # sconcat :: NonEmpty Catchall -> Catchall Source # stimes :: Integral b => b -> Catchall -> Catchall Source #
Semigroup CoverageCheck Source # |
Instance details Defined in Agda.Syntax.Common Methods (<>) :: CoverageCheck -> CoverageCheck -> CoverageCheck Source # sconcat :: NonEmpty CoverageCheck -> CoverageCheck Source # stimes :: Integral b => b -> CoverageCheck -> CoverageCheck Source #
Semigroup ExpandedEllipsis Source # |
Instance details Defined in Agda.Syntax.Common Methods (<>) :: ExpandedEllipsis -> ExpandedEllipsis -> ExpandedEllipsis Source # sconcat :: NonEmpty ExpandedEllipsis -> ExpandedEllipsis Source # stimes :: Integral b => b -> ExpandedEllipsis -> ExpandedEllipsis Source #
Semigroup FreeVariables Source # |
Instance details Defined in Agda.Syntax.Common Methods (<>) :: FreeVariables -> FreeVariables -> FreeVariables Source # sconcat :: NonEmpty FreeVariables -> FreeVariables Source # stimes :: Integral b => b -> FreeVariables -> FreeVariables Source #
Semigroup Hiding Source # | `Hiding` is an idempotent partial monoid, with unit `NotHidden`. `Instance` and `NotHidden` are incompatible.
Instance details Defined in Agda.Syntax.Common Methods (<>) :: Hiding -> Hiding -> Hiding Source # sconcat :: NonEmpty Hiding -> Hiding Source # stimes :: Integral b => b -> Hiding -> Hiding Source #
Semigroup IsAbstract Source # | Semigroup computes if any of several is an `AbstractDef`.
Instance details Defined in Agda.Syntax.Common Methods (<>) :: IsAbstract -> IsAbstract -> IsAbstract Source # sconcat :: NonEmpty IsAbstract -> IsAbstract Source # stimes :: Integral b => b -> IsAbstract -> IsAbstract Source #
Semigroup IsMain Source # | Conjunctive semigroup (`NotMain` is absorbing).
Instance details Defined in Agda.Syntax.Common Methods (<>) :: IsMain -> IsMain -> IsMain Source # sconcat :: NonEmpty IsMain -> IsMain Source # stimes :: Integral b => b -> IsMain -> IsMain Source #
Semigroup JointOpacity Source # |
Instance details Defined in Agda.Syntax.Common Methods (<>) :: JointOpacity -> JointOpacity -> JointOpacity Source # sconcat :: NonEmpty JointOpacity -> JointOpacity Source # stimes :: Integral b => b -> JointOpacity -> JointOpacity Source #
Semigroup OriginIrrelevant Source # | Right-biased composition, because the left relevance acts as context, and the right one as occurrence.
Instance details Defined in Agda.Syntax.Common Methods (<>) :: OriginIrrelevant -> OriginIrrelevant -> OriginIrrelevant Source # sconcat :: NonEmpty OriginIrrelevant -> OriginIrrelevant Source # stimes :: Integral b => b -> OriginIrrelevant -> OriginIrrelevant Source #
Semigroup OriginRelevant Source # |
Instance details Defined in Agda.Syntax.Common Methods (<>) :: OriginRelevant -> OriginRelevant -> OriginRelevant Source # sconcat :: NonEmpty OriginRelevant -> OriginRelevant Source # stimes :: Integral b => b -> OriginRelevant -> OriginRelevant Source #
Semigroup OriginShapeIrrelevant Source # | Right-biased composition, because the left relevance acts as context, and the right one as occurrence.
Instance details Defined in Agda.Syntax.Common Methods (<>) :: OriginShapeIrrelevant -> OriginShapeIrrelevant -> OriginShapeIrrelevant Source # sconcat :: NonEmpty OriginShapeIrrelevant -> OriginShapeIrrelevant Source # stimes :: Integral b => b -> OriginShapeIrrelevant -> OriginShapeIrrelevant Source #
Semigroup Overlappable Source # | Just for the `Hiding` instance. Should never combine different overlapping.
Instance details Defined in Agda.Syntax.Common Methods (<>) :: Overlappable -> Overlappable -> Overlappable Source # sconcat :: NonEmpty Overlappable -> Overlappable Source # stimes :: Integral b => b -> Overlappable -> Overlappable Source #
Semigroup PositivityCheck Source # |
Instance details Defined in Agda.Syntax.Common Methods (<>) :: PositivityCheck -> PositivityCheck -> PositivityCheck Source # sconcat :: NonEmpty PositivityCheck -> PositivityCheck Source # stimes :: Integral b => b -> PositivityCheck -> PositivityCheck Source #
Semigroup Q0Origin Source # | Right-biased composition, because the left quantity acts as context, and the right one as occurrence.
Instance details Defined in Agda.Syntax.Common Methods (<>) :: Q0Origin -> Q0Origin -> Q0Origin Source # sconcat :: NonEmpty Q0Origin -> Q0Origin Source # stimes :: Integral b => b -> Q0Origin -> Q0Origin Source #
Semigroup Q1Origin Source # | Right-biased composition, because the left quantity acts as context, and the right one as occurrence.
Instance details Defined in Agda.Syntax.Common Methods (<>) :: Q1Origin -> Q1Origin -> Q1Origin Source # sconcat :: NonEmpty Q1Origin -> Q1Origin Source # stimes :: Integral b => b -> Q1Origin -> Q1Origin Source #
Semigroup QωOrigin Source # | Right-biased composition, because the left quantity acts as context, and the right one as occurrence.
Instance details Defined in Agda.Syntax.Common Methods (<>) :: QωOrigin -> QωOrigin -> QωOrigin Source # sconcat :: NonEmpty QωOrigin -> QωOrigin Source # stimes :: Integral b => b -> QωOrigin -> QωOrigin Source #
Semigroup Aspect Source # | `NameKind` in `Name` can get more precise.
Instance details Defined in Agda.Syntax.Common.Aspect Methods (<>) :: Aspect -> Aspect -> Aspect Source # sconcat :: NonEmpty Aspect -> Aspect Source # stimes :: Integral b => b -> Aspect -> Aspect Source #
Semigroup Aspects Source # |
Instance details Defined in Agda.Interaction.Highlighting.Precise Methods (<>) :: Aspects -> Aspects -> Aspects Source # sconcat :: NonEmpty Aspects -> Aspects Source # stimes :: Integral b => b -> Aspects -> Aspects Source #
Semigroup DefinitionSite Source # |
Instance details Defined in Agda.Interaction.Highlighting.Precise Methods (<>) :: DefinitionSite -> DefinitionSite -> DefinitionSite Source # sconcat :: NonEmpty DefinitionSite -> DefinitionSite Source # stimes :: Integral b => b -> DefinitionSite -> DefinitionSite Source #
Semigroup NameKind Source # | Some `NameKind`s are more informative than others.
Instance details Defined in Agda.Syntax.Common.Aspect Methods (<>) :: NameKind -> NameKind -> NameKind Source # sconcat :: NonEmpty NameKind -> NameKind Source # stimes :: Integral b => b -> NameKind -> NameKind Source #
Semigroup TokenBased Source # |
Instance details Defined in Agda.Interaction.Highlighting.Precise Methods (<>) :: TokenBased -> TokenBased -> TokenBased Source # sconcat :: NonEmpty TokenBased -> TokenBased Source # stimes :: Integral b => b -> TokenBased -> TokenBased Source #
Semigroup MutualChecks Source # |
Instance details Defined in Agda.Syntax.Concrete.Definitions.Types Methods (<>) :: MutualChecks -> MutualChecks -> MutualChecks Source # sconcat :: NonEmpty MutualChecks -> MutualChecks Source # stimes :: Integral b => b -> MutualChecks -> MutualChecks Source #
Semigroup PatInfo Source # |
Instance details Defined in Agda.Syntax.Info Methods (<>) :: PatInfo -> PatInfo -> PatInfo Source # sconcat :: NonEmpty PatInfo -> PatInfo Source # stimes :: Integral b => b -> PatInfo -> PatInfo Source #
Semigroup NameMapEntry Source # | Invariant: the `KindOfName` components should be equal whenever we have to concrete renderings of an abstract name.
Instance details Defined in Agda.Syntax.Scope.Base Methods (<>) :: NameMapEntry -> NameMapEntry -> NameMapEntry Source # sconcat :: NonEmpty NameMapEntry -> NameMapEntry Source # stimes :: Integral b => b -> NameMapEntry -> NameMapEntry Source #
Semigroup CallPath Source # |
Instance details Defined in Agda.Termination.Monad Methods (<>) :: CallPath -> CallPath -> CallPath Source # sconcat :: NonEmpty CallPath -> CallPath Source # stimes :: Integral b => b -> CallPath -> CallPath Source #
Semigroup VarCounts Source # |
Instance details Defined in Agda.TypeChecking.Free Methods (<>) :: VarCounts -> VarCounts -> VarCounts Source # sconcat :: NonEmpty VarCounts -> VarCounts Source # stimes :: Integral b => b -> VarCounts -> VarCounts Source #
Semigroup FlexRigMap Source # |
Instance details Defined in Agda.TypeChecking.Free.Lazy Methods (<>) :: FlexRigMap -> FlexRigMap -> FlexRigMap Source # sconcat :: NonEmpty FlexRigMap -> FlexRigMap Source # stimes :: Integral b => b -> FlexRigMap -> FlexRigMap Source #
Semigroup MetaSet Source # |
Instance details Defined in Agda.TypeChecking.Free.Lazy Methods (<>) :: MetaSet -> MetaSet -> MetaSet Source # sconcat :: NonEmpty MetaSet -> MetaSet Source # stimes :: Integral b => b -> MetaSet -> MetaSet Source #
Semigroup InstanceTable Source # |
Instance details Defined in Agda.TypeChecking.Monad.Base Methods (<>) :: InstanceTable -> InstanceTable -> InstanceTable Source # sconcat :: NonEmpty InstanceTable -> InstanceTable Source # stimes :: Integral b => b -> InstanceTable -> InstanceTable Source #
Semigroup Simplification Source # |
Instance details Defined in Agda.TypeChecking.Monad.Base Methods (<>) :: Simplification -> Simplification -> Simplification Source # sconcat :: NonEmpty Simplification -> Simplification Source # stimes :: Integral b => b -> Simplification -> Simplification Source #
Semigroup OnlyLazy Source # |
Instance details Defined in Agda.TypeChecking.Patterns.Match Methods (<>) :: OnlyLazy -> OnlyLazy -> OnlyLazy Source # sconcat :: NonEmpty OnlyLazy -> OnlyLazy Source # stimes :: Integral b => b -> OnlyLazy -> OnlyLazy Source #
Semigroup OccurrencesBuilder Source # | The semigroup laws only hold up to flattening of `Concat`.
Instance details Defined in Agda.TypeChecking.Positivity Methods (<>) :: OccurrencesBuilder -> OccurrencesBuilder -> OccurrencesBuilder Source # sconcat :: NonEmpty OccurrencesBuilder -> OccurrencesBuilder Source # stimes :: Integral b => b -> OccurrencesBuilder -> OccurrencesBuilder Source #
Semigroup ClausesPostChecks Source # |
Instance details Defined in Agda.TypeChecking.Rules.Def Methods (<>) :: ClausesPostChecks -> ClausesPostChecks -> ClausesPostChecks Source # sconcat :: NonEmpty ClausesPostChecks -> ClausesPostChecks Source # stimes :: Integral b => b -> ClausesPostChecks -> ClausesPostChecks Source #
Semigroup FlexChoice Source # |
Instance details Defined in Agda.TypeChecking.Rules.LHS.Problem Methods (<>) :: FlexChoice -> FlexChoice -> FlexChoice Source # sconcat :: NonEmpty FlexChoice -> FlexChoice Source # stimes :: Integral b => b -> FlexChoice -> FlexChoice Source #
Semigroup LeftoverPatterns Source # |
Instance details Defined in Agda.TypeChecking.Rules.LHS.Problem Methods (<>) :: LeftoverPatterns -> LeftoverPatterns -> LeftoverPatterns Source # sconcat :: NonEmpty LeftoverPatterns -> LeftoverPatterns Source # stimes :: Integral b => b -> LeftoverPatterns -> LeftoverPatterns Source #
Semigroup UnifyOutput Source # |
Instance details Defined in Agda.TypeChecking.Rules.LHS.Unify.Types Methods (<>) :: UnifyOutput -> UnifyOutput -> UnifyOutput Source # sconcat :: NonEmpty UnifyOutput -> UnifyOutput Source # stimes :: Integral b => b -> UnifyOutput -> UnifyOutput Source #
Semigroup IntSet Source # |
Instance details Defined in Agda.Utils.IntSet.Infinite Methods (<>) :: IntSet -> IntSet -> IntSet Source # sconcat :: NonEmpty IntSet -> IntSet Source # stimes :: Integral b => b -> IntSet -> IntSet Source #
Semigroup MaxNat Source # |
Instance details Defined in Agda.Utils.Monoid Methods (<>) :: MaxNat -> MaxNat -> MaxNat Source # sconcat :: NonEmpty MaxNat -> MaxNat Source # stimes :: Integral b => b -> MaxNat -> MaxNat Source #
Semigroup PartialOrdering Source # | Partial ordering forms a monoid under sequencing.
Instance details Defined in Agda.Utils.PartialOrd Methods (<>) :: PartialOrdering -> PartialOrdering -> PartialOrdering Source # sconcat :: NonEmpty PartialOrdering -> PartialOrdering Source # stimes :: Integral b => b -> PartialOrdering -> PartialOrdering Source #
Semigroup CharString |
Instance details Defined in Data.ListLike.CharString Methods (<>) :: CharString -> CharString -> CharString Source # sconcat :: NonEmpty CharString -> CharString Source # stimes :: Integral b => b -> CharString -> CharString Source #
Semigroup CharStringLazy |
Instance details Defined in Data.ListLike.CharString Methods (<>) :: CharStringLazy -> CharStringLazy -> CharStringLazy Source # sconcat :: NonEmpty CharStringLazy -> CharStringLazy Source # stimes :: Integral b => b -> CharStringLazy -> CharStringLazy Source #
Semigroup Chars |
Instance details Defined in Data.ListLike.Chars Methods (<>) :: Chars -> Chars -> Chars Source # sconcat :: NonEmpty Chars -> Chars Source # stimes :: Integral b => b -> Chars -> Chars Source #
Semigroup Series |
Instance details Defined in Data.Aeson.Encoding.Internal Methods (<>) :: Series -> Series -> Series Source # sconcat :: NonEmpty Series -> Series Source # stimes :: Integral b => b -> Series -> Series Source #
Semigroup Key |
Instance details Defined in Data.Aeson.Key Methods (<>) :: Key -> Key -> Key Source # sconcat :: NonEmpty Key -> Key Source # stimes :: Integral b => b -> Key -> Key Source #
Semigroup ByteArray | Since: base-4.17.0.0
Instance details Defined in Data.Array.Byte Methods (<>) :: ByteArray -> ByteArray -> ByteArray Source # sconcat :: NonEmpty ByteArray -> ByteArray Source # stimes :: Integral b => b -> ByteArray -> ByteArray Source #
Semigroup Attribute |
Instance details Defined in Text.Blaze.Internal Methods (<>) :: Attribute -> Attribute -> Attribute Source # sconcat :: NonEmpty Attribute -> Attribute Source # stimes :: Integral b => b -> Attribute -> Attribute Source #
Semigroup AttributeValue |
Instance details Defined in Text.Blaze.Internal Methods (<>) :: AttributeValue -> AttributeValue -> AttributeValue Source # sconcat :: NonEmpty AttributeValue -> AttributeValue Source # stimes :: Integral b => b -> AttributeValue -> AttributeValue Source #
Semigroup ChoiceString |
Instance details Defined in Text.Blaze.Internal Methods (<>) :: ChoiceString -> ChoiceString -> ChoiceString Source # sconcat :: NonEmpty ChoiceString -> ChoiceString Source # stimes :: Integral b => b -> ChoiceString -> ChoiceString Source #
Semigroup Builder |
Instance details Defined in Data.ByteString.Builder.Internal Methods (<>) :: Builder -> Builder -> Builder Source # sconcat :: NonEmpty Builder -> Builder Source # stimes :: Integral b => b -> Builder -> Builder Source #
Semigroup ByteString |
Instance details Defined in Data.ByteString.Internal.Type Methods (<>) :: ByteString -> ByteString -> ByteString Source # sconcat :: NonEmpty ByteString -> ByteString Source # stimes :: Integral b => b -> ByteString -> ByteString Source #
Semigroup ByteString |
Instance details Defined in Data.ByteString.Lazy.Internal Methods (<>) :: ByteString -> ByteString -> ByteString Source # sconcat :: NonEmpty ByteString -> ByteString Source # stimes :: Integral b => b -> ByteString -> ByteString Source #
Semigroup ShortByteString |
Instance details Defined in Data.ByteString.Short.Internal Methods (<>) :: ShortByteString -> ShortByteString -> ShortByteString Source # sconcat :: NonEmpty ShortByteString -> ShortByteString Source # stimes :: Integral b => b -> ShortByteString -> ShortByteString Source #
Semigroup IntSet | Since: containers-0.5.7
Instance details Defined in Data.IntSet.Internal Methods (<>) :: IntSet -> IntSet -> IntSet Source # sconcat :: NonEmpty IntSet -> IntSet Source # stimes :: Integral b => b -> IntSet -> IntSet Source #
Semigroup Void | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Base Methods (<>) :: Void -> Void -> Void Source # sconcat :: NonEmpty Void -> Void Source # stimes :: Integral b => b -> Void -> Void Source #
Semigroup All | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Data.Semigroup.Internal Methods (<>) :: All -> All -> All Source # sconcat :: NonEmpty All -> All Source # stimes :: Integral b => b -> All -> All Source #
Semigroup Any | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Data.Semigroup.Internal Methods (<>) :: Any -> Any -> Any Source # sconcat :: NonEmpty Any -> Any Source # stimes :: Integral b => b -> Any -> Any Source #
Semigroup ExceptionContext |
Instance details Defined in GHC.Internal.Exception.Context Methods (<>) :: ExceptionContext -> ExceptionContext -> ExceptionContext Source # sconcat :: NonEmpty ExceptionContext -> ExceptionContext Source # stimes :: Integral b => b -> ExceptionContext -> ExceptionContext Source #
Semigroup ExitCode |
Instance details Defined in System.Process.Common Methods (<>) :: ExitCode -> ExitCode -> ExitCode Source # sconcat :: NonEmpty ExitCode -> ExitCode Source # stimes :: Integral b => b -> ExitCode -> ExitCode Source #
Semigroup Ordering | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Base Methods (<>) :: Ordering -> Ordering -> Ordering Source # sconcat :: NonEmpty Ordering -> Ordering Source # stimes :: Integral b => b -> Ordering -> Ordering Source #
Semigroup NEIntSet | Left-biased union
Instance details Defined in Data.IntSet.NonEmpty.Internal Methods (<>) :: NEIntSet -> NEIntSet -> NEIntSet Source # sconcat :: NonEmpty NEIntSet -> NEIntSet Source # stimes :: Integral b => b -> NEIntSet -> NEIntSet Source #
Semigroup OsString |
Instance details Defined in System.OsString.Internal.Types Methods (<>) :: OsString -> OsString -> OsString Source # sconcat :: NonEmpty OsString -> OsString Source # stimes :: Integral b => b -> OsString -> OsString Source #
Semigroup PosixString |
Instance details Defined in System.OsString.Internal.Types Methods (<>) :: PosixString -> PosixString -> PosixString Source # sconcat :: NonEmpty PosixString -> PosixString Source # stimes :: Integral b => b -> PosixString -> PosixString Source #
Semigroup WindowsString |
Instance details Defined in System.OsString.Internal.Types Methods (<>) :: WindowsString -> WindowsString -> WindowsString Source # sconcat :: NonEmpty WindowsString -> WindowsString Source # stimes :: Integral b => b -> WindowsString -> WindowsString Source #
Semigroup Doc |
Instance details Defined in Text.PrettyPrint.HughesPJ Methods (<>) :: Doc -> Doc -> Doc Source # sconcat :: NonEmpty Doc -> Doc Source # stimes :: Integral b => b -> Doc -> Doc Source #
Semigroup SetTestInfo |
Instance details Defined in Text.Regex.TDFA.CorePattern Methods (<>) :: SetTestInfo -> SetTestInfo -> SetTestInfo Source # sconcat :: NonEmpty SetTestInfo -> SetTestInfo Source # stimes :: Integral b => b -> SetTestInfo -> SetTestInfo Source #
Semigroup Text | Beware: `stimes` will crash if the given number does not fit into an `Int`. Since: text-1.2.2.0
Instance details Defined in Data.Text Methods (<>) :: Text -> Text -> Text Source # sconcat :: NonEmpty Text -> Text Source # stimes :: Integral b => b -> Text -> Text Source #
Semigroup Builder |
Instance details Defined in Data.Text.Internal.Builder Methods (<>) :: Builder -> Builder -> Builder Source # sconcat :: NonEmpty Builder -> Builder Source # stimes :: Integral b => b -> Builder -> Builder Source #
Semigroup Text | Since: text-1.2.2.0
Instance details Defined in Data.Text.Lazy Methods (<>) :: Text -> Text -> Text Source # sconcat :: NonEmpty Text -> Text Source # stimes :: Integral b => b -> Text -> Text Source #
Semigroup StrictTextBuilder | Concatenation of `StrictBuilder` is right-biased: the right builder will be run first. This allows a builder to run tail-recursively when it was accumulated left-to-right.
Instance details Defined in Data.Text.Internal.StrictBuilder Methods (<>) :: StrictTextBuilder -> StrictTextBuilder -> StrictTextBuilder Source # sconcat :: NonEmpty StrictTextBuilder -> StrictTextBuilder Source # stimes :: Integral b => b -> StrictTextBuilder -> StrictTextBuilder Source #
Semigroup ShortText |
Instance details Defined in Data.Text.Short.Internal Methods (<>) :: ShortText -> ShortText -> ShortText Source # sconcat :: NonEmpty ShortText -> ShortText Source # stimes :: Integral b => b -> ShortText -> ShortText Source #
Semigroup () | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Base Methods (<>) :: () -> () -> () Source # sconcat :: NonEmpty () -> () Source # stimes :: Integral b => b -> () -> () Source #
Semigroup (DelayedMerge hl) Source # |
Instance details Defined in Agda.Interaction.Highlighting.Precise Methods (<>) :: DelayedMerge hl -> DelayedMerge hl -> DelayedMerge hl Source # sconcat :: NonEmpty (DelayedMerge hl) -> DelayedMerge hl Source # stimes :: Integral b => b -> DelayedMerge hl -> DelayedMerge hl Source #
Semigroup (UnderAddition Cohesion) Source # | `Cohesion` forms a semigroup under addition.
Instance details Defined in Agda.Syntax.Common Methods (<>) :: UnderAddition Cohesion -> UnderAddition Cohesion -> UnderAddition Cohesion Source # sconcat :: NonEmpty (UnderAddition Cohesion) -> UnderAddition Cohesion Source # stimes :: Integral b => b -> UnderAddition Cohesion -> UnderAddition Cohesion Source #
Semigroup (UnderAddition Modality) Source # | Pointwise addition.
Instance details Defined in Agda.Syntax.Common Methods (<>) :: UnderAddition Modality -> UnderAddition Modality -> UnderAddition Modality Source # sconcat :: NonEmpty (UnderAddition Modality) -> UnderAddition Modality Source # stimes :: Integral b => b -> UnderAddition Modality -> UnderAddition Modality Source #
Semigroup (UnderAddition PolarityModality) Source # | `ModalPolarity` forms a semigroup under addition.
Instance details Defined in Agda.Syntax.Common Methods (<>) :: UnderAddition PolarityModality -> UnderAddition PolarityModality -> UnderAddition PolarityModality Source # sconcat :: NonEmpty (UnderAddition PolarityModality) -> UnderAddition PolarityModality Source # stimes :: Integral b => b -> UnderAddition PolarityModality -> UnderAddition PolarityModality Source #
Semigroup (UnderAddition Quantity) Source # |
Instance details Defined in Agda.Syntax.Common Methods (<>) :: UnderAddition Quantity -> UnderAddition Quantity -> UnderAddition Quantity Source # sconcat :: NonEmpty (UnderAddition Quantity) -> UnderAddition Quantity Source # stimes :: Integral b => b -> UnderAddition Quantity -> UnderAddition Quantity Source #
Semigroup (UnderAddition Relevance) Source # |
Instance details Defined in Agda.Syntax.Common Methods (<>) :: UnderAddition Relevance -> UnderAddition Relevance -> UnderAddition Relevance Source # sconcat :: NonEmpty (UnderAddition Relevance) -> UnderAddition Relevance Source # stimes :: Integral b => b -> UnderAddition Relevance -> UnderAddition Relevance Source #
Semigroup (UnderComposition Cohesion) Source # | `Cohesion` forms a semigroup under composition.
Instance details Defined in Agda.Syntax.Common Methods (<>) :: UnderComposition Cohesion -> UnderComposition Cohesion -> UnderComposition Cohesion Source # sconcat :: NonEmpty (UnderComposition Cohesion) -> UnderComposition Cohesion Source # stimes :: Integral b => b -> UnderComposition Cohesion -> UnderComposition Cohesion Source #
Semigroup (UnderComposition Erased) Source # |
Instance details Defined in Agda.Syntax.Common Methods (<>) :: UnderComposition Erased -> UnderComposition Erased -> UnderComposition Erased Source # sconcat :: NonEmpty (UnderComposition Erased) -> UnderComposition Erased Source # stimes :: Integral b => b -> UnderComposition Erased -> UnderComposition Erased Source #
Semigroup (UnderComposition Modality) Source # | Pointwise composition.
Instance details Defined in Agda.Syntax.Common Methods (<>) :: UnderComposition Modality -> UnderComposition Modality -> UnderComposition Modality Source # sconcat :: NonEmpty (UnderComposition Modality) -> UnderComposition Modality Source # stimes :: Integral b => b -> UnderComposition Modality -> UnderComposition Modality Source #
Semigroup (UnderComposition PolarityModality) Source # | `ModalPolarity` forms a semigroup under composition.
Instance details Defined in Agda.Syntax.Common Methods (<>) :: UnderComposition PolarityModality -> UnderComposition PolarityModality -> UnderComposition PolarityModality Source # sconcat :: NonEmpty (UnderComposition PolarityModality) -> UnderComposition PolarityModality Source # stimes :: Integral b => b -> UnderComposition PolarityModality -> UnderComposition PolarityModality Source #
Semigroup (UnderComposition Quantity) Source # | Composition of quantities (multiplication). `Quantity0` is dominant. `Quantity1` is neutral. Right-biased for origin.
Instance details Defined in Agda.Syntax.Common Methods (<>) :: UnderComposition Quantity -> UnderComposition Quantity -> UnderComposition Quantity Source # sconcat :: NonEmpty (UnderComposition Quantity) -> UnderComposition Quantity Source # stimes :: Integral b => b -> UnderComposition Quantity -> UnderComposition Quantity Source #
Semigroup (UnderComposition Relevance) Source # | `Relevance` forms a semigroup under composition.
Instance details Defined in Agda.Syntax.Common Methods (<>) :: UnderComposition Relevance -> UnderComposition Relevance -> UnderComposition Relevance Source # sconcat :: NonEmpty (UnderComposition Relevance) -> UnderComposition Relevance Source # stimes :: Integral b => b -> UnderComposition Relevance -> UnderComposition Relevance Source #
Semigroup (NotBlocked' t) Source # | `ReallyNotBlocked` is the unit. `MissingClauses` is dominant. ``StuckOn`{}` should be propagated, if tied, we take the left.
Instance details Defined in Agda.Syntax.Internal.Blockers Methods (<>) :: NotBlocked' t -> NotBlocked' t -> NotBlocked' t Source # sconcat :: NonEmpty (NotBlocked' t) -> NotBlocked' t Source # stimes :: Integral b => b -> NotBlocked' t -> NotBlocked' t Source #
Eq a => Semigroup (Range' a) Source # |
Instance details Defined in Agda.Syntax.Position Methods (<>) :: Range' a -> Range' a -> Range' a Source # sconcat :: NonEmpty (Range' a) -> Range' a Source # stimes :: Integral b => b -> Range' a -> Range' a Source #
Semigroup (CallGraph cinfo) Source # | `CallGraph` is a monoid under `union`.
Instance details Defined in Agda.Termination.CallGraph Methods (<>) :: CallGraph cinfo -> CallGraph cinfo -> CallGraph cinfo Source # sconcat :: NonEmpty (CallGraph cinfo) -> CallGraph cinfo Source # stimes :: Integral b => b -> CallGraph cinfo -> CallGraph cinfo Source #
Semigroup (CMSet cinfo) Source # |
Instance details Defined in Agda.Termination.CallMatrix Methods (<>) :: CMSet cinfo -> CMSet cinfo -> CMSet cinfo Source # sconcat :: NonEmpty (CMSet cinfo) -> CMSet cinfo Source # stimes :: Integral b => b -> CMSet cinfo -> CMSet cinfo Source #
Semigroup m => Semigroup (TerM m) Source # |
Instance details Defined in Agda.Termination.Monad Methods (<>) :: TerM m -> TerM m -> TerM m Source # sconcat :: NonEmpty (TerM m) -> TerM m Source # stimes :: Integral b => b -> TerM m -> TerM m Source #
Semigroup m => Semigroup (Case m) Source # |
Instance details Defined in Agda.TypeChecking.CompiledClause Methods (<>) :: Case m -> Case m -> Case m Source # sconcat :: NonEmpty (Case m) -> Case m Source # stimes :: Integral b => b -> Case m -> Case m Source #
Semigroup c => Semigroup (WithArity c) Source # |
Instance details Defined in Agda.TypeChecking.CompiledClause Methods (<>) :: WithArity c -> WithArity c -> WithArity c Source # sconcat :: NonEmpty (WithArity c) -> WithArity c Source # stimes :: Integral b => b -> WithArity c -> WithArity c Source #
Ord a => Semigroup (QueryResult a) Source # |
Instance details Defined in Agda.TypeChecking.DiscrimTree Methods (<>) :: QueryResult a -> QueryResult a -> QueryResult a Source # sconcat :: NonEmpty (QueryResult a) -> QueryResult a Source # stimes :: Integral b => b -> QueryResult a -> QueryResult a Source #
Ord a => Semigroup (DiscrimTree a) Source # |
Instance details Defined in Agda.TypeChecking.DiscrimTree.Types Methods (<>) :: DiscrimTree a -> DiscrimTree a -> DiscrimTree a Source # sconcat :: NonEmpty (DiscrimTree a) -> DiscrimTree a Source # stimes :: Integral b => b -> DiscrimTree a -> DiscrimTree a Source #
Semigroup a => Semigroup (VarMap' a) Source # | Proper monoid instance for `VarMap` rather than inheriting the broken one from IntMap. We combine two occurrences of a variable using `mappend`.
Instance details Defined in Agda.TypeChecking.Free.Lazy Methods (<>) :: VarMap' a -> VarMap' a -> VarMap' a Source # sconcat :: NonEmpty (VarMap' a) -> VarMap' a Source # stimes :: Integral b => b -> VarMap' a -> VarMap' a Source #

Semigroup a => Semigroup (VarOcc' a) Source #

The default way of aggregating free variable info from subterms is by adding the variable occurrences. For instance, if we have a pair `(t₁,t₂)` then and `t₁` has `o₁` the occurrences of a variable `x` and `t₂` has `o₂` the occurrences of the same variable, then `(t₁,t₂)` has `mappend o₁ o₂` occurrences of that variable.

From counting `Quantity`, we extrapolate this to `FlexRig` and `Relevance`: we care most about about `StronglyRigid` `Relevant` occurrences. E.g., if `t₁` has a `StronglyRigid` occurrence and `t₂` a `Flexible` occurrence, then `(t₁,t₂)` still has a `StronglyRigid` occurrence. Analogously, `Relevant` occurrences count most, as we wish e.g. to forbid relevant occurrences of variables that are declared to be irrelevant.

`VarOcc` forms a semiring, and this monoid is the addition of the semiring.

Instance details Defined in Agda.TypeChecking.Free.Lazy Methods (<>) :: VarOcc' a -> VarOcc' a -> VarOcc' a Source # sconcat :: NonEmpty (VarOcc' a) -> VarOcc' a Source # stimes :: Integral b => b -> VarOcc' a -> VarOcc' a Source #
Semigroup (TCM Doc) Source # | This instance is more specific than a generic instance `Semigroup a => Semigroup (TCM a)`.
Instance details Defined in Agda.TypeChecking.Pretty Methods (<>) :: TCM Doc -> TCM Doc -> TCM Doc Source # sconcat :: NonEmpty (TCM Doc) -> TCM Doc Source # stimes :: Integral b => b -> TCM Doc -> TCM Doc Source #
Semigroup (Match a) Source # |
Instance details Defined in Agda.TypeChecking.Patterns.Match Methods (<>) :: Match a -> Match a -> Match a Source # sconcat :: NonEmpty (Match a) -> Match a Source # stimes :: Integral b => b -> Match a -> Match a Source #
Ord a => Semigroup (Bag a) Source # |
Instance details Defined in Agda.Utils.Bag Methods (<>) :: Bag a -> Bag a -> Bag a Source # sconcat :: NonEmpty (Bag a) -> Bag a Source # stimes :: Integral b => b -> Bag a -> Bag a Source #
PartialOrd a => Semigroup (Favorites a) Source # | `Favorites` forms a `Monoid` under `empty` and 'union.
Instance details Defined in Agda.Utils.Favorites Methods (<>) :: Favorites a -> Favorites a -> Favorites a Source # sconcat :: NonEmpty (Favorites a) -> Favorites a Source # stimes :: Integral b => b -> Favorites a -> Favorites a Source #
Semigroup a => Semigroup (RangeMap a) Source # | Merges `RangeMap`s by inserting every "piece" of the smaller one into the larger one.
Instance details Defined in Agda.Utils.RangeMap Methods (<>) :: RangeMap a -> RangeMap a -> RangeMap a Source # sconcat :: NonEmpty (RangeMap a) -> RangeMap a Source # stimes :: Integral b => b -> RangeMap a -> RangeMap a Source #
SmallSetElement a => Semigroup (SmallSet a) Source # |
Instance details Defined in Agda.Utils.SmallSet Methods (<>) :: SmallSet a -> SmallSet a -> SmallSet a Source # sconcat :: NonEmpty (SmallSet a) -> SmallSet a Source # stimes :: Integral b => b -> SmallSet a -> SmallSet a Source #
Semigroup (KeyMap v) |
Instance details Defined in Data.Aeson.KeyMap Methods (<>) :: KeyMap v -> KeyMap v -> KeyMap v Source # sconcat :: NonEmpty (KeyMap v) -> KeyMap v Source # stimes :: Integral b => b -> KeyMap v -> KeyMap v Source #
Semigroup (IResult a) |
Instance details Defined in Data.Aeson.Types.Internal Methods (<>) :: IResult a -> IResult a -> IResult a Source # sconcat :: NonEmpty (IResult a) -> IResult a Source # stimes :: Integral b => b -> IResult a -> IResult a Source #
Semigroup (Parser a) |
Instance details Defined in Data.Aeson.Types.Internal Methods (<>) :: Parser a -> Parser a -> Parser a Source # sconcat :: NonEmpty (Parser a) -> Parser a Source # stimes :: Integral b => b -> Parser a -> Parser a Source #
Semigroup (Result a) |
Instance details Defined in Data.Aeson.Types.Internal Methods (<>) :: Result a -> Result a -> Result a Source # sconcat :: NonEmpty (Result a) -> Result a Source # stimes :: Integral b => b -> Result a -> Result a Source #
Semigroup a => Semigroup (Concurrently a) | Only defined by `async` for `base >= 4.9` Since: async-2.1.0
Instance details Defined in Control.Concurrent.Async.Internal Methods (<>) :: Concurrently a -> Concurrently a -> Concurrently a Source # sconcat :: NonEmpty (Concurrently a) -> Concurrently a Source # stimes :: Integral b => b -> Concurrently a -> Concurrently a Source #
Semigroup (FromMaybe b) |
Instance details Defined in Data.Foldable1 Methods (<>) :: FromMaybe b -> FromMaybe b -> FromMaybe b Source # sconcat :: NonEmpty (FromMaybe b) -> FromMaybe b Source # stimes :: Integral b0 => b0 -> FromMaybe b -> FromMaybe b Source #
Semigroup a => Semigroup (JoinWith a) |
Instance details Defined in Data.Foldable1 Methods (<>) :: JoinWith a -> JoinWith a -> JoinWith a Source # sconcat :: NonEmpty (JoinWith a) -> JoinWith a Source # stimes :: Integral b => b -> JoinWith a -> JoinWith a Source #
Semigroup (NonEmptyDList a) |
Instance details Defined in Data.Foldable1 Methods (<>) :: NonEmptyDList a -> NonEmptyDList a -> NonEmptyDList a Source # sconcat :: NonEmpty (NonEmptyDList a) -> NonEmptyDList a Source # stimes :: Integral b => b -> NonEmptyDList a -> NonEmptyDList a Source #

Semigroup (Comparison a)

`(`<>`)` on comparisons combines results with `(`<>`) @Ordering`. Without newtypes this equals ``liftA2` (`liftA2` (`<>`))`.

    (<>) :: Comparison a -> Comparison a -> Comparison a
    Comparison cmp <> Comparison cmp' = Comparison a a' ->
      cmp a a' <> cmp a a'

Instance details Defined in Data.Functor.Contravariant Methods (<>) :: Comparison a -> Comparison a -> Comparison a Source # sconcat :: NonEmpty (Comparison a) -> Comparison a Source # stimes :: Integral b => b -> Comparison a -> Comparison a Source #

Semigroup (Equivalence a)

`(`<>`)` on equivalences uses logical conjunction `(`&&`)` on the results. Without newtypes this equals ``liftA2` (`liftA2` (&&))`.

    (<>) :: Equivalence a -> Equivalence a -> Equivalence a
    Equivalence equiv <> Equivalence equiv' = Equivalence a b ->
      equiv a b && equiv' a b

Instance details Defined in Data.Functor.Contravariant Methods (<>) :: Equivalence a -> Equivalence a -> Equivalence a Source # sconcat :: NonEmpty (Equivalence a) -> Equivalence a Source # stimes :: Integral b => b -> Equivalence a -> Equivalence a Source #

Semigroup (Predicate a)

`(`<>`)` on predicates uses logical conjunction `(`&&`)` on the results. Without newtypes this equals ``liftA2` (&&)`.

    (<>) :: Predicate a -> Predicate a -> Predicate a
    Predicate pred <> Predicate pred' = Predicate a ->
      pred a && pred' a

Instance details Defined in Data.Functor.Contravariant Methods (<>) :: Predicate a -> Predicate a -> Predicate a Source # sconcat :: NonEmpty (Predicate a) -> Predicate a Source # stimes :: Integral b => b -> Predicate a -> Predicate a Source #
Semigroup (First a) | Since: base-4.9.0.0
Instance details Defined in Data.Semigroup Methods (<>) :: First a -> First a -> First a Source # sconcat :: NonEmpty (First a) -> First a Source # stimes :: Integral b => b -> First a -> First a Source #
Semigroup (Last a) | Since: base-4.9.0.0
Instance details Defined in Data.Semigroup Methods (<>) :: Last a -> Last a -> Last a Source # sconcat :: NonEmpty (Last a) -> Last a Source # stimes :: Integral b => b -> Last a -> Last a Source #
Ord a => Semigroup (Max a) | Since: base-4.9.0.0
Instance details Defined in Data.Semigroup Methods (<>) :: Max a -> Max a -> Max a Source # sconcat :: NonEmpty (Max a) -> Max a Source # stimes :: Integral b => b -> Max a -> Max a Source #
Ord a => Semigroup (Min a) | Since: base-4.9.0.0
Instance details Defined in Data.Semigroup Methods (<>) :: Min a -> Min a -> Min a Source # sconcat :: NonEmpty (Min a) -> Min a Source # stimes :: Integral b => b -> Min a -> Min a Source #
Monoid m => Semigroup (WrappedMonoid m) | Since: base-4.9.0.0
Instance details Defined in Data.Semigroup Methods (<>) :: WrappedMonoid m -> WrappedMonoid m -> WrappedMonoid m Source # sconcat :: NonEmpty (WrappedMonoid m) -> WrappedMonoid m Source # stimes :: Integral b => b -> WrappedMonoid m -> WrappedMonoid m Source #
Semigroup (PutM ()) |
Instance details Defined in Data.Binary.Put Methods (<>) :: PutM () -> PutM () -> PutM () Source # sconcat :: NonEmpty (PutM ()) -> PutM () Source # stimes :: Integral b => b -> PutM () -> PutM () Source #
Monoid a => Semigroup (MarkupM a) |
Instance details Defined in Text.Blaze.Internal Methods (<>) :: MarkupM a -> MarkupM a -> MarkupM a Source # sconcat :: NonEmpty (MarkupM a) -> MarkupM a Source # stimes :: Integral b => b -> MarkupM a -> MarkupM a Source #
Semigroup s => Semigroup (CI s) |
Instance details Defined in Data.CaseInsensitive.Internal Methods (<>) :: CI s -> CI s -> CI s Source # sconcat :: NonEmpty (CI s) -> CI s Source # stimes :: Integral b => b -> CI s -> CI s Source #
Num a => Semigroup (AlphaColour a) |
Instance details Defined in Data.Colour.Internal Methods (<>) :: AlphaColour a -> AlphaColour a -> AlphaColour a Source # sconcat :: NonEmpty (AlphaColour a) -> AlphaColour a Source # stimes :: Integral b => b -> AlphaColour a -> AlphaColour a Source #
Num a => Semigroup (Colour a) |
Instance details Defined in Data.Colour.Internal Methods (<>) :: Colour a -> Colour a -> Colour a Source # sconcat :: NonEmpty (Colour a) -> Colour a Source # stimes :: Integral b => b -> Colour a -> Colour a Source #
Semigroup (IntMap a) | Since: containers-0.5.7
Instance details Defined in Data.IntMap.Internal Methods (<>) :: IntMap a -> IntMap a -> IntMap a Source # sconcat :: NonEmpty (IntMap a) -> IntMap a Source # stimes :: Integral b => b -> IntMap a -> IntMap a Source #
Semigroup (Seq a) | Since: containers-0.5.7
Instance details Defined in Data.Sequence.Internal Methods (<>) :: Seq a -> Seq a -> Seq a Source # sconcat :: NonEmpty (Seq a) -> Seq a Source # stimes :: Integral b => b -> Seq a -> Seq a Source #
Ord a => Semigroup (Intersection a) |
Instance details Defined in Data.Set.Internal Methods (<>) :: Intersection a -> Intersection a -> Intersection a Source # sconcat :: NonEmpty (Intersection a) -> Intersection a Source # stimes :: Integral b => b -> Intersection a -> Intersection a Source #
Semigroup (MergeSet a) |
Instance details Defined in Data.Set.Internal Methods (<>) :: MergeSet a -> MergeSet a -> MergeSet a Source # sconcat :: NonEmpty (MergeSet a) -> MergeSet a Source # stimes :: Integral b => b -> MergeSet a -> MergeSet a Source #
Ord a => Semigroup (Set a) | Since: containers-0.5.7
Instance details Defined in Data.Set.Internal Methods (<>) :: Set a -> Set a -> Set a Source # sconcat :: NonEmpty (Set a) -> Set a Source # stimes :: Integral b => b -> Set a -> Set a Source #
Semigroup (DNonEmpty a) |
Instance details Defined in Data.DList.DNonEmpty.Internal Methods (<>) :: DNonEmpty a -> DNonEmpty a -> DNonEmpty a Source # sconcat :: NonEmpty (DNonEmpty a) -> DNonEmpty a Source # stimes :: Integral b => b -> DNonEmpty a -> DNonEmpty a Source #
Semigroup (DList a) |
Instance details Defined in Data.DList.Internal Methods (<>) :: DList a -> DList a -> DList a Source # sconcat :: NonEmpty (DList a) -> DList a Source # stimes :: Integral b => b -> DList a -> DList a Source #
Semigroup (EnumSet k) |
Instance details Defined in Data.EnumSet Methods (<>) :: EnumSet k -> EnumSet k -> EnumSet k Source # sconcat :: NonEmpty (EnumSet k) -> EnumSet k Source # stimes :: Integral b => b -> EnumSet k -> EnumSet k Source #
(AssertNoSum Semigroup a, Generic a, Semigroup (Rep a ())) => Semigroup (GenericProduct a) |
Instance details Defined in Generic.Data.Internal.Generically Methods (<>) :: GenericProduct a -> GenericProduct a -> GenericProduct a Source # sconcat :: NonEmpty (GenericProduct a) -> GenericProduct a Source # stimes :: Integral b => b -> GenericProduct a -> GenericProduct a Source #
Semigroup (NonEmpty a) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Base Methods (<>) :: NonEmpty a -> NonEmpty a -> NonEmpty a Source # sconcat :: NonEmpty (NonEmpty a) -> NonEmpty a Source # stimes :: Integral b => b -> NonEmpty a -> NonEmpty a Source #
Semigroup a => Semigroup (STM a) | Since: base-4.17.0.0
Instance details Defined in GHC.Internal.Conc.Sync Methods (<>) :: STM a -> STM a -> STM a Source # sconcat :: NonEmpty (STM a) -> STM a Source # stimes :: Integral b => b -> STM a -> STM a Source #
Semigroup a => Semigroup (Identity a) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Data.Functor.Identity Methods (<>) :: Identity a -> Identity a -> Identity a Source # sconcat :: NonEmpty (Identity a) -> Identity a Source # stimes :: Integral b => b -> Identity a -> Identity a Source #
Semigroup (First a) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Data.Monoid Methods (<>) :: First a -> First a -> First a Source # sconcat :: NonEmpty (First a) -> First a Source # stimes :: Integral b => b -> First a -> First a Source #
Semigroup (Last a) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Data.Monoid Methods (<>) :: Last a -> Last a -> Last a Source # sconcat :: NonEmpty (Last a) -> Last a Source # stimes :: Integral b => b -> Last a -> Last a Source #
Semigroup a => Semigroup (Down a) | Since: base-4.11.0.0
Instance details Defined in GHC.Internal.Data.Ord Methods (<>) :: Down a -> Down a -> Down a Source # sconcat :: NonEmpty (Down a) -> Down a Source # stimes :: Integral b => b -> Down a -> Down a Source #
Semigroup a => Semigroup (Dual a) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Data.Semigroup.Internal Methods (<>) :: Dual a -> Dual a -> Dual a Source # sconcat :: NonEmpty (Dual a) -> Dual a Source # stimes :: Integral b => b -> Dual a -> Dual a Source #
Semigroup (Endo a) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Data.Semigroup.Internal Methods (<>) :: Endo a -> Endo a -> Endo a Source # sconcat :: NonEmpty (Endo a) -> Endo a Source # stimes :: Integral b => b -> Endo a -> Endo a Source #
Num a => Semigroup (Product a) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Data.Semigroup.Internal Methods (<>) :: Product a -> Product a -> Product a Source # sconcat :: NonEmpty (Product a) -> Product a Source # stimes :: Integral b => b -> Product a -> Product a Source #
Num a => Semigroup (Sum a) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Data.Semigroup.Internal Methods (<>) :: Sum a -> Sum a -> Sum a Source # sconcat :: NonEmpty (Sum a) -> Sum a Source # stimes :: Integral b => b -> Sum a -> Sum a Source #
(Generic a, Semigroup (Rep a ())) => Semigroup (Generically a) | Since: base-4.17.0.0
Instance details Defined in GHC.Internal.Generics Methods (<>) :: Generically a -> Generically a -> Generically a Source # sconcat :: NonEmpty (Generically a) -> Generically a Source # stimes :: Integral b => b -> Generically a -> Generically a Source #
Semigroup p => Semigroup (Par1 p) | Since: base-4.12.0.0
Instance details Defined in GHC.Internal.Generics Methods (<>) :: Par1 p -> Par1 p -> Par1 p Source # sconcat :: NonEmpty (Par1 p) -> Par1 p Source # stimes :: Integral b => b -> Par1 p -> Par1 p Source #
Semigroup a => Semigroup (IO a) | Since: base-4.10.0.0
Instance details Defined in GHC.Internal.Base Methods (<>) :: IO a -> IO a -> IO a Source # sconcat :: NonEmpty (IO a) -> IO a Source # stimes :: Integral b => b -> IO a -> IO a Source #
Semigroup (NEIntMap a) | Left-biased union
Instance details Defined in Data.IntMap.NonEmpty.Internal Methods (<>) :: NEIntMap a -> NEIntMap a -> NEIntMap a Source # sconcat :: NonEmpty (NEIntMap a) -> NEIntMap a Source # stimes :: Integral b => b -> NEIntMap a -> NEIntMap a Source #
Semigroup (NESeq a) |
Instance details Defined in Data.Sequence.NonEmpty.Internal Methods (<>) :: NESeq a -> NESeq a -> NESeq a Source # sconcat :: NonEmpty (NESeq a) -> NESeq a Source # stimes :: Integral b => b -> NESeq a -> NESeq a Source #
Semigroup (MergeNESet a) |
Instance details Defined in Data.Set.NonEmpty.Internal Methods (<>) :: MergeNESet a -> MergeNESet a -> MergeNESet a Source # sconcat :: NonEmpty (MergeNESet a) -> MergeNESet a Source # stimes :: Integral b => b -> MergeNESet a -> MergeNESet a Source #
Ord a => Semigroup (NESet a) | Left-biased union
Instance details Defined in Data.Set.NonEmpty.Internal Methods (<>) :: NESet a -> NESet a -> NESet a Source # sconcat :: NonEmpty (NESet a) -> NESet a Source # stimes :: Integral b => b -> NESet a -> NESet a Source #
Ord a => Semigroup (MinQueue a) |
Instance details Defined in Data.PQueue.Internals Methods (<>) :: MinQueue a -> MinQueue a -> MinQueue a Source # sconcat :: NonEmpty (MinQueue a) -> MinQueue a Source # stimes :: Integral b => b -> MinQueue a -> MinQueue a Source #
Ord a => Semigroup (MaxQueue a) |
Instance details Defined in Data.PQueue.Max Methods (<>) :: MaxQueue a -> MaxQueue a -> MaxQueue a Source # sconcat :: NonEmpty (MaxQueue a) -> MaxQueue a Source # stimes :: Integral b => b -> MaxQueue a -> MaxQueue a Source #
Semigroup (Doc a) |
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Methods (<>) :: Doc a -> Doc a -> Doc a Source # sconcat :: NonEmpty (Doc a) -> Doc a Source # stimes :: Integral b => b -> Doc a -> Doc a Source #
Semigroup (Array a) |
Instance details Defined in Data.Primitive.Array Methods (<>) :: Array a -> Array a -> Array a Source # sconcat :: NonEmpty (Array a) -> Array a Source # stimes :: Integral b => b -> Array a -> Array a Source #
Semigroup (PrimArray a) |
Instance details Defined in Data.Primitive.PrimArray Methods (<>) :: PrimArray a -> PrimArray a -> PrimArray a Source # sconcat :: NonEmpty (PrimArray a) -> PrimArray a Source # stimes :: Integral b => b -> PrimArray a -> PrimArray a Source #
Semigroup (SmallArray a) |
Instance details Defined in Data.Primitive.SmallArray Methods (<>) :: SmallArray a -> SmallArray a -> SmallArray a Source # sconcat :: NonEmpty (SmallArray a) -> SmallArray a Source # stimes :: Integral b => b -> SmallArray a -> SmallArray a Source #
Semigroup (CharMap a) |
Instance details Defined in Data.IntMap.CharMap2 Methods (<>) :: CharMap a -> CharMap a -> CharMap a Source # sconcat :: NonEmpty (CharMap a) -> CharMap a Source # stimes :: Integral b => b -> CharMap a -> CharMap a Source #
Semigroup (EnumSet e) |
Instance details Defined in Data.IntSet.EnumSet2 Methods (<>) :: EnumSet e -> EnumSet e -> EnumSet e Source # sconcat :: NonEmpty (EnumSet e) -> EnumSet e Source # stimes :: Integral b => b -> EnumSet e -> EnumSet e Source #
Semigroup a => Semigroup (Maybe a) |
Instance details Defined in Data.Strict.Maybe Methods (<>) :: Maybe a -> Maybe a -> Maybe a Source # sconcat :: NonEmpty (Maybe a) -> Maybe a Source # stimes :: Integral b => b -> Maybe a -> Maybe a Source #
Semigroup a => Semigroup (Q a) | Since: template-haskell-2.17.0.0
Instance details Defined in Language.Haskell.TH.Syntax Methods (<>) :: Q a -> Q a -> Q a Source # sconcat :: NonEmpty (Q a) -> Q a Source # stimes :: Integral b => b -> Q a -> Q a Source #
Semigroup (Validity k) |
Instance details Defined in Data.HashMap.Internal.Debug Methods (<>) :: Validity k -> Validity k -> Validity k Source # sconcat :: NonEmpty (Validity k) -> Validity k Source # stimes :: Integral b => b -> Validity k -> Validity k Source #

(Hashable a, Eq a) => Semigroup (HashSet a)

`<>` = `union`

\(O(n+m)\)

To obtain good performance, the smaller set must be presented as the first argument.

#### Examples

Expand

    >>> fromList [1,2] <> fromList [2,3]
    fromList [1,2,3]

Instance details Defined in Data.HashSet.Internal Methods (<>) :: HashSet a -> HashSet a -> HashSet a Source # sconcat :: NonEmpty (HashSet a) -> HashSet a Source # stimes :: Integral b => b -> HashSet a -> HashSet a Source #
Semigroup (UTF8 ByteString) |
Instance details Defined in Data.ListLike.UTF8 Methods (<>) :: UTF8 ByteString -> UTF8 ByteString -> UTF8 ByteString Source # sconcat :: NonEmpty (UTF8 ByteString) -> UTF8 ByteString Source # stimes :: Integral b => b -> UTF8 ByteString -> UTF8 ByteString Source #
Semigroup (UTF8 ByteString) |
Instance details Defined in Data.ListLike.UTF8 Methods (<>) :: UTF8 ByteString -> UTF8 ByteString -> UTF8 ByteString Source # sconcat :: NonEmpty (UTF8 ByteString) -> UTF8 ByteString Source # stimes :: Integral b => b -> UTF8 ByteString -> UTF8 ByteString Source #
Semigroup (Vector a) |
Instance details Defined in Data.Vector Methods (<>) :: Vector a -> Vector a -> Vector a Source # sconcat :: NonEmpty (Vector a) -> Vector a Source # stimes :: Integral b => b -> Vector a -> Vector a Source #
Prim a => Semigroup (Vector a) |
Instance details Defined in Data.Vector.Primitive Methods (<>) :: Vector a -> Vector a -> Vector a Source # sconcat :: NonEmpty (Vector a) -> Vector a Source # stimes :: Integral b => b -> Vector a -> Vector a Source #
Storable a => Semigroup (Vector a) |
Instance details Defined in Data.Vector.Storable Methods (<>) :: Vector a -> Vector a -> Vector a Source # sconcat :: NonEmpty (Vector a) -> Vector a Source # stimes :: Integral b => b -> Vector a -> Vector a Source #
Semigroup (Vector a) |
Instance details Defined in Data.Vector.Strict Methods (<>) :: Vector a -> Vector a -> Vector a Source # sconcat :: NonEmpty (Vector a) -> Vector a Source # stimes :: Integral b => b -> Vector a -> Vector a Source #
Unbox a => Semigroup (Vector a) |
Instance details Defined in Data.Vector.Unboxed Methods (<>) :: Vector a -> Vector a -> Vector a Source # sconcat :: NonEmpty (Vector a) -> Vector a Source # stimes :: Integral b => b -> Vector a -> Vector a Source #
Semigroup a => Semigroup (Maybe a) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Base Methods (<>) :: Maybe a -> Maybe a -> Maybe a Source # sconcat :: NonEmpty (Maybe a) -> Maybe a Source # stimes :: Integral b => b -> Maybe a -> Maybe a Source #
Semigroup a => Semigroup (Solo a) | Since: base-4.15
Instance details Defined in GHC.Internal.Base Methods (<>) :: Solo a -> Solo a -> Solo a Source # sconcat :: NonEmpty (Solo a) -> Solo a Source # stimes :: Integral b => b -> Solo a -> Solo a Source #
Semigroup [a] | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Base Methods (<>) :: [a] -> [a] -> [a] Source # sconcat :: NonEmpty [a] -> [a] Source # stimes :: Integral b => b -> [a] -> [a] Source #
(HasRange n, HasRange m) => Semigroup (ImportDirective' n m) Source # |
Instance details Defined in Agda.Syntax.Common Methods (<>) :: ImportDirective' n m -> ImportDirective' n m -> ImportDirective' n m Source # sconcat :: NonEmpty (ImportDirective' n m) -> ImportDirective' n m Source # stimes :: Integral b => b -> ImportDirective' n m -> ImportDirective' n m Source #
Semigroup (Using' n m) Source # |
Instance details Defined in Agda.Syntax.Common Methods (<>) :: Using' n m -> Using' n m -> Using' n m Source # sconcat :: NonEmpty (Using' n m) -> Using' n m Source # stimes :: Integral b => b -> Using' n m -> Using' n m Source #
Semigroup a => Semigroup (Blocked' t a) Source # |
Instance details Defined in Agda.Syntax.Internal.Blockers Methods (<>) :: Blocked' t a -> Blocked' t a -> Blocked' t a Source # sconcat :: NonEmpty (Blocked' t a) -> Blocked' t a Source # stimes :: Integral b => b -> Blocked' t a -> Blocked' t a Source #
(Monad m, Semigroup a) => Semigroup (PureConversionT m a) Source # |
Instance details Defined in Agda.TypeChecking.Conversion.Pure Methods (<>) :: PureConversionT m a -> PureConversionT m a -> PureConversionT m a Source # sconcat :: NonEmpty (PureConversionT m a) -> PureConversionT m a Source # stimes :: Integral b => b -> PureConversionT m a -> PureConversionT m a Source #
(MonadIO m, Semigroup a) => Semigroup (TCMT m a) Source # | Strict (non-shortcut) semigroup. Note that there might be a lazy alternative, e.g., for TCM All we might want `and2M` as concatenation, to shortcut conjunction in case we already have `False`.
Instance details Defined in Agda.TypeChecking.Monad.Base Methods (<>) :: TCMT m a -> TCMT m a -> TCMT m a Source # sconcat :: NonEmpty (TCMT m a) -> TCMT m a Source # stimes :: Integral b => b -> TCMT m a -> TCMT m a Source #
Monad m => Semigroup (ListT m a) Source # |
Instance details Defined in Agda.Utils.ListT Methods (<>) :: ListT m a -> ListT m a -> ListT m a Source # sconcat :: NonEmpty (ListT m a) -> ListT m a Source # stimes :: Integral b => b -> ListT m a -> ListT m a Source #
Semigroup a => Semigroup (ConcurrentlyE e a) | Either the combination of the successful results, or the first failure.
Instance details Defined in Control.Concurrent.Async.Internal Methods (<>) :: ConcurrentlyE e a -> ConcurrentlyE e a -> ConcurrentlyE e a Source # sconcat :: NonEmpty (ConcurrentlyE e a) -> ConcurrentlyE e a Source # stimes :: Integral b => b -> ConcurrentlyE e a -> ConcurrentlyE e a Source #

Semigroup a => Semigroup (Op a b)

`(`<>`) @(Op a b)` without newtypes is `(`<>`) @(b->a)` = `liftA2 (`<>`)`. This lifts the `Semigroup` operation `(`<>`)` over the output of `a`.

    (<>) :: Op a b -> Op a b -> Op a b
    Op f <> Op g = Op a -> f a <> g a

Instance details Defined in Data.Functor.Contravariant Methods (<>) :: Op a b -> Op a b -> Op a b Source # sconcat :: NonEmpty (Op a b) -> Op a b Source # stimes :: Integral b0 => b0 -> Op a b -> Op a b Source #
Ord k => Semigroup (Map k v) |
Instance details Defined in Data.Map.Internal Methods (<>) :: Map k v -> Map k v -> Map k v Source # sconcat :: NonEmpty (Map k v) -> Map k v Source # stimes :: Integral b => b -> Map k v -> Map k v Source #
Semigroup (EnumMap k a) |
Instance details Defined in Data.EnumMap.Base Methods (<>) :: EnumMap k a -> EnumMap k a -> EnumMap k a Source # sconcat :: NonEmpty (EnumMap k a) -> EnumMap k a Source # stimes :: Integral b => b -> EnumMap k a -> EnumMap k a Source #
Semigroup (r p) => Semigroup (Data r p) |
Instance details Defined in Generic.Data.Internal.Data Methods (<>) :: Data r p -> Data r p -> Data r p Source # sconcat :: NonEmpty (Data r p) -> Data r p Source # stimes :: Integral b => b -> Data r p -> Data r p Source #
(Integral i, Ix i) => Semigroup (Array i e) |
Instance details Defined in Data.ListLike.Instances Methods (<>) :: Array i e -> Array i e -> Array i e Source # sconcat :: NonEmpty (Array i e) -> Array i e Source # stimes :: Integral b => b -> Array i e -> Array i e Source #
Semigroup (Either a b) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Data.Either Methods (<>) :: Either a b -> Either a b -> Either a b Source # sconcat :: NonEmpty (Either a b) -> Either a b Source # stimes :: Integral b0 => b0 -> Either a b -> Either a b Source #
Semigroup (Proxy s) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Data.Proxy Methods (<>) :: Proxy s -> Proxy s -> Proxy s Source # sconcat :: NonEmpty (Proxy s) -> Proxy s Source # stimes :: Integral b => b -> Proxy s -> Proxy s Source #
Semigroup (U1 p) | Since: base-4.12.0.0
Instance details Defined in GHC.Internal.Generics Methods (<>) :: U1 p -> U1 p -> U1 p Source # sconcat :: NonEmpty (U1 p) -> U1 p Source # stimes :: Integral b => b -> U1 p -> U1 p Source #
Semigroup (V1 p) | Since: base-4.12.0.0
Instance details Defined in GHC.Internal.Generics Methods (<>) :: V1 p -> V1 p -> V1 p Source # sconcat :: NonEmpty (V1 p) -> V1 p Source # stimes :: Integral b => b -> V1 p -> V1 p Source #
Semigroup a => Semigroup (ST s a) | Since: base-4.11.0.0
Instance details Defined in GHC.Internal.ST Methods (<>) :: ST s a -> ST s a -> ST s a Source # sconcat :: NonEmpty (ST s a) -> ST s a Source # stimes :: Integral b => b -> ST s a -> ST s a Source #
Ord k => Semigroup (NEMap k a) | Left-biased union
Instance details Defined in Data.Map.NonEmpty.Internal Methods (<>) :: NEMap k a -> NEMap k a -> NEMap k a Source # sconcat :: NonEmpty (NEMap k a) -> NEMap k a Source # stimes :: Integral b => b -> NEMap k a -> NEMap k a Source #
Ord k => Semigroup (EnumMap k a) |
Instance details Defined in Data.IntMap.EnumMap2 Methods (<>) :: EnumMap k a -> EnumMap k a -> EnumMap k a Source # sconcat :: NonEmpty (EnumMap k a) -> EnumMap k a Source # stimes :: Integral b => b -> EnumMap k a -> EnumMap k a Source #
Semigroup (Either a b) |
Instance details Defined in Data.Strict.Either Methods (<>) :: Either a b -> Either a b -> Either a b Source # sconcat :: NonEmpty (Either a b) -> Either a b Source # stimes :: Integral b0 => b0 -> Either a b -> Either a b Source #
(Semigroup a, Semigroup b) => Semigroup (These a b) |
Instance details Defined in Data.Strict.These Methods (<>) :: These a b -> These a b -> These a b Source # sconcat :: NonEmpty (These a b) -> These a b Source # stimes :: Integral b0 => b0 -> These a b -> These a b Source #
(Semigroup a, Semigroup b) => Semigroup (Pair a b) |
Instance details Defined in Data.Strict.Tuple Methods (<>) :: Pair a b -> Pair a b -> Pair a b Source # sconcat :: NonEmpty (Pair a b) -> Pair a b Source # stimes :: Integral b0 => b0 -> Pair a b -> Pair a b Source #
(Semigroup a, Semigroup b) => Semigroup (These a b) |
Instance details Defined in Data.These Methods (<>) :: These a b -> These a b -> These a b Source # sconcat :: NonEmpty (These a b) -> These a b Source # stimes :: Integral b0 => b0 -> These a b -> These a b Source #
(Monad m, Semigroup doc) => Semigroup (MaybeT m doc) Source # |
Instance details Defined in Agda.Utils.Semigroup Methods (<>) :: MaybeT m doc -> MaybeT m doc -> MaybeT m doc Source # sconcat :: NonEmpty (MaybeT m doc) -> MaybeT m doc Source # stimes :: Integral b => b -> MaybeT m doc -> MaybeT m doc Source #

(Eq k, Hashable k) => Semigroup (HashMap k v)

`<>` = `union`

If a key occurs in both maps, the mapping from the first will be the mapping in the result.

#### Examples

Expand

    >>> fromList [(1,'a'),(2,'b')] <> fromList [(2,'c'),(3,'d')]
    fromList [(1,'a'),(2,'b'),(3,'d')]

Instance details Defined in Data.HashMap.Internal Methods (<>) :: HashMap k v -> HashMap k v -> HashMap k v Source # sconcat :: NonEmpty (HashMap k v) -> HashMap k v Source # stimes :: Integral b => b -> HashMap k v -> HashMap k v Source #
(Semigroup a, Semigroup b) => Semigroup (a, b) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Base Methods (<>) :: (a, b) -> (a, b) -> (a, b) Source # sconcat :: NonEmpty (a, b) -> (a, b) Source # stimes :: Integral b0 => b0 -> (a, b) -> (a, b) Source #
Semigroup b => Semigroup (a -> b) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Base Methods (<>) :: (a -> b) -> (a -> b) -> a -> b Source # sconcat :: NonEmpty (a -> b) -> a -> b Source # stimes :: Integral b0 => b0 -> (a -> b) -> a -> b Source #
Semigroup a => Semigroup (Const a b) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Data.Functor.Const Methods (<>) :: Const a b -> Const a b -> Const a b Source # sconcat :: NonEmpty (Const a b) -> Const a b Source # stimes :: Integral b0 => b0 -> Const a b -> Const a b Source #
(Applicative f, Semigroup a) => Semigroup (Ap f a) | Since: base-4.12.0.0
Instance details Defined in GHC.Internal.Data.Monoid Methods (<>) :: Ap f a -> Ap f a -> Ap f a Source # sconcat :: NonEmpty (Ap f a) -> Ap f a Source # stimes :: Integral b => b -> Ap f a -> Ap f a Source #
Alternative f => Semigroup (Alt f a) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Data.Semigroup.Internal Methods (<>) :: Alt f a -> Alt f a -> Alt f a Source # sconcat :: NonEmpty (Alt f a) -> Alt f a Source # stimes :: Integral b => b -> Alt f a -> Alt f a Source #
Semigroup (f p) => Semigroup (Rec1 f p) | Since: base-4.12.0.0
Instance details Defined in GHC.Internal.Generics Methods (<>) :: Rec1 f p -> Rec1 f p -> Rec1 f p Source # sconcat :: NonEmpty (Rec1 f p) -> Rec1 f p Source # stimes :: Integral b => b -> Rec1 f p -> Rec1 f p Source #
Semigroup a => Semigroup (Tagged s a) |
Instance details Defined in Data.Tagged Methods (<>) :: Tagged s a -> Tagged s a -> Tagged s a Source # sconcat :: NonEmpty (Tagged s a) -> Tagged s a Source # stimes :: Integral b => b -> Tagged s a -> Tagged s a Source #
(Monad m, Semigroup doc) => Semigroup (ExceptT e m doc) Source # |
Instance details Defined in Agda.Utils.Semigroup Methods (<>) :: ExceptT e m doc -> ExceptT e m doc -> ExceptT e m doc Source # sconcat :: NonEmpty (ExceptT e m doc) -> ExceptT e m doc Source # stimes :: Integral b => b -> ExceptT e m doc -> ExceptT e m doc Source #
(Applicative m, Semigroup doc) => Semigroup (ReaderT s m doc) Source # |
Instance details Defined in Agda.Utils.Semigroup Methods (<>) :: ReaderT s m doc -> ReaderT s m doc -> ReaderT s m doc Source # sconcat :: NonEmpty (ReaderT s m doc) -> ReaderT s m doc Source # stimes :: Integral b => b -> ReaderT s m doc -> ReaderT s m doc Source #
(Monad m, Semigroup doc) => Semigroup (StateT s m doc) Source # |
Instance details Defined in Agda.Utils.Semigroup Methods (<>) :: StateT s m doc -> StateT s m doc -> StateT s m doc Source # sconcat :: NonEmpty (StateT s m doc) -> StateT s m doc Source # stimes :: Integral b => b -> StateT s m doc -> StateT s m doc Source #
(Monad m, Semigroup doc, Monoid w) => Semigroup (WriterT w m doc) Source # |
Instance details Defined in Agda.Utils.Semigroup Methods (<>) :: WriterT w m doc -> WriterT w m doc -> WriterT w m doc Source # sconcat :: NonEmpty (WriterT w m doc) -> WriterT w m doc Source # stimes :: Integral b => b -> WriterT w m doc -> WriterT w m doc Source #
Semigroup a => Semigroup (Constant a b) |
Instance details Defined in Data.Functor.Constant Methods (<>) :: Constant a b -> Constant a b -> Constant a b Source # sconcat :: NonEmpty (Constant a b) -> Constant a b Source # stimes :: Integral b0 => b0 -> Constant a b -> Constant a b Source #
(Semigroup a, Semigroup b, Semigroup c) => Semigroup (a, b, c) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Base Methods (<>) :: (a, b, c) -> (a, b, c) -> (a, b, c) Source # sconcat :: NonEmpty (a, b, c) -> (a, b, c) Source # stimes :: Integral b0 => b0 -> (a, b, c) -> (a, b, c) Source #
(Semigroup (f a), Semigroup (g a)) => Semigroup (Product f g a) | Since: base-4.16.0.0
Instance details Defined in Data.Functor.Product Methods (<>) :: Product f g a -> Product f g a -> Product f g a Source # sconcat :: NonEmpty (Product f g a) -> Product f g a Source # stimes :: Integral b => b -> Product f g a -> Product f g a Source #
(Semigroup (f p), Semigroup (g p)) => Semigroup ((f :*: g) p) | Since: base-4.12.0.0
Instance details Defined in GHC.Internal.Generics Methods (<>) :: (f :*: g) p -> (f :*: g) p -> (f :*: g) p Source # sconcat :: NonEmpty ((f :*: g) p) -> (f :*: g) p Source # stimes :: Integral b => b -> (f :*: g) p -> (f :*: g) p Source #
Semigroup c => Semigroup (K1 i c p) | Since: base-4.12.0.0
Instance details Defined in GHC.Internal.Generics Methods (<>) :: K1 i c p -> K1 i c p -> K1 i c p Source # sconcat :: NonEmpty (K1 i c p) -> K1 i c p Source # stimes :: Integral b => b -> K1 i c p -> K1 i c p Source #
(Semigroup a, Semigroup b, Semigroup c, Semigroup d) => Semigroup (a, b, c, d) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Base Methods (<>) :: (a, b, c, d) -> (a, b, c, d) -> (a, b, c, d) Source # sconcat :: NonEmpty (a, b, c, d) -> (a, b, c, d) Source # stimes :: Integral b0 => b0 -> (a, b, c, d) -> (a, b, c, d) Source #
Semigroup (f (g a)) => Semigroup (Compose f g a) | Since: base-4.16.0.0
Instance details Defined in Data.Functor.Compose Methods (<>) :: Compose f g a -> Compose f g a -> Compose f g a Source # sconcat :: NonEmpty (Compose f g a) -> Compose f g a Source # stimes :: Integral b => b -> Compose f g a -> Compose f g a Source #
Semigroup (f (g p)) => Semigroup ((f :.: g) p) | Since: base-4.12.0.0
Instance details Defined in GHC.Internal.Generics Methods (<>) :: (f :.: g) p -> (f :.: g) p -> (f :.: g) p Source # sconcat :: NonEmpty ((f :.: g) p) -> (f :.: g) p Source # stimes :: Integral b => b -> (f :.: g) p -> (f :.: g) p Source #
Semigroup (f p) => Semigroup (M1 i c f p) | Since: base-4.12.0.0
Instance details Defined in GHC.Internal.Generics Methods (<>) :: M1 i c f p -> M1 i c f p -> M1 i c f p Source # sconcat :: NonEmpty (M1 i c f p) -> M1 i c f p Source # stimes :: Integral b => b -> M1 i c f p -> M1 i c f p Source #
(Semigroup a, Semigroup b, Semigroup c, Semigroup d, Semigroup e) => Semigroup (a, b, c, d, e) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Base Methods (<>) :: (a, b, c, d, e) -> (a, b, c, d, e) -> (a, b, c, d, e) Source # sconcat :: NonEmpty (a, b, c, d, e) -> (a, b, c, d, e) Source # stimes :: Integral b0 => b0 -> (a, b, c, d, e) -> (a, b, c, d, e) Source #

# Orphan instances

(Monad m, Semigroup doc) => Semigroup (MaybeT m doc) Source # |
Instance details Methods (<>) :: MaybeT m doc -> MaybeT m doc -> MaybeT m doc Source # sconcat :: NonEmpty (MaybeT m doc) -> MaybeT m doc Source # stimes :: Integral b => b -> MaybeT m doc -> MaybeT m doc Source #
(Monad m, Semigroup doc) => Semigroup (ExceptT e m doc) Source # |
Instance details Methods (<>) :: ExceptT e m doc -> ExceptT e m doc -> ExceptT e m doc Source # sconcat :: NonEmpty (ExceptT e m doc) -> ExceptT e m doc Source # stimes :: Integral b => b -> ExceptT e m doc -> ExceptT e m doc Source #
(Applicative m, Semigroup doc) => Semigroup (ReaderT s m doc) Source # |
Instance details Methods (<>) :: ReaderT s m doc -> ReaderT s m doc -> ReaderT s m doc Source # sconcat :: NonEmpty (ReaderT s m doc) -> ReaderT s m doc Source # stimes :: Integral b => b -> ReaderT s m doc -> ReaderT s m doc Source #
(Monad m, Semigroup doc) => Semigroup (StateT s m doc) Source # |
Instance details Methods (<>) :: StateT s m doc -> StateT s m doc -> StateT s m doc Source # sconcat :: NonEmpty (StateT s m doc) -> StateT s m doc Source # stimes :: Integral b => b -> StateT s m doc -> StateT s m doc Source #
(Monad m, Semigroup doc, Monoid w) => Semigroup (WriterT w m doc) Source # |
Instance details Methods (<>) :: WriterT w m doc -> WriterT w m doc -> WriterT w m doc Source # sconcat :: NonEmpty (WriterT w m doc) -> WriterT w m doc Source # stimes :: Integral b => b -> WriterT w m doc -> WriterT w m doc Source #