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

Agda.Utils.Semigroup

Description

Some semigroup instances used in several places

Synopsis

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 NameKinds 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 RangeMaps 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 #