Semigroup Doc Source # | |
Instance detailsDefined in Agda.Compiler.JS.Pretty |
Semigroup Comment Source # | |
Instance detailsDefined in Agda.Compiler.JS.Syntax |
Semigroup HsCompileState Source # | |
Instance detailsDefined in Agda.Compiler.MAlonzo.Misc |
Semigroup Occurs Source # | |
Instance detailsDefined in Agda.Compiler.Treeless.Subst |
Semigroup SeqArg Source # | |
Instance detailsDefined in Agda.Compiler.Treeless.Subst |
Semigroup UnderLambda Source # | |
Instance detailsDefined in Agda.Compiler.Treeless.Subst |
Semigroup PositionMap Source # | |
Instance detailsDefined in Agda.Interaction.Highlighting.Precise |
Semigroup OptionsPragma Source # | |
Instance detailsDefined in Agda.Interaction.Library.Base |
Semigroup CoverageCheck Source # | |
Instance detailsDefined in Agda.Syntax.Common |
Semigroup ExpandedEllipsis Source # | |
Instance detailsDefined in Agda.Syntax.Common |
Semigroup FreeVariables Source # | |
Instance detailsDefined in Agda.Syntax.Common |
Semigroup Hiding Source # | Hiding is an idempotent partial monoid, with unit NotHidden .
Instance and NotHidden are incompatible.
|
Instance detailsDefined in Agda.Syntax.Common |
Semigroup IsAbstract Source # | Semigroup computes if any of several is an AbstractDef . |
Instance detailsDefined in Agda.Syntax.Common |
Semigroup IsMain Source # | Conjunctive semigroup (NotMain is absorbing). |
Instance detailsDefined in Agda.Syntax.Common |
Semigroup JointOpacity Source # | |
Instance detailsDefined in Agda.Syntax.Common |
Semigroup Overlappable Source # | Just for the Hiding instance. Should never combine different
overlapping. |
Instance detailsDefined in Agda.Syntax.Common |
Semigroup PositivityCheck Source # | |
Instance detailsDefined in Agda.Syntax.Common |
Semigroup Q0Origin Source # | Right-biased composition, because the left quantity
acts as context, and the right one as occurrence. |
Instance detailsDefined in Agda.Syntax.Common |
Semigroup Q1Origin Source # | Right-biased composition, because the left quantity
acts as context, and the right one as occurrence. |
Instance detailsDefined in Agda.Syntax.Common |
Semigroup QωOrigin Source # | Right-biased composition, because the left quantity
acts as context, and the right one as occurrence. |
Instance detailsDefined in Agda.Syntax.Common |
Semigroup Aspect Source # | NameKind in Name can get more precise.
|
Instance detailsDefined in Agda.Syntax.Common.Aspect |
Semigroup Aspects Source # | |
Instance detailsDefined in Agda.Interaction.Highlighting.Precise |
Semigroup DefinitionSite Source # | |
Instance detailsDefined in Agda.Interaction.Highlighting.Precise |
Semigroup NameKind Source # | Some NameKind s are more informative than others. |
Instance detailsDefined in Agda.Syntax.Common.Aspect |
Semigroup TokenBased Source # | |
Instance detailsDefined in Agda.Interaction.Highlighting.Precise |
Semigroup MutualChecks Source # | |
Instance detailsDefined in Agda.Syntax.Concrete.Definitions.Types |
Semigroup PatInfo Source # | |
Instance detailsDefined in Agda.Syntax.Info |
Semigroup NameMapEntry Source # | Invariant: the KindOfName components should be equal
whenever we have to concrete renderings of an abstract name. |
Instance detailsDefined in Agda.Syntax.Scope.Base |
Semigroup CallPath Source # | |
Instance detailsDefined in Agda.Termination.Monad |
Semigroup VarCounts Source # | |
Instance detailsDefined in Agda.TypeChecking.Free |
Semigroup FlexRigMap Source # | |
Instance detailsDefined in Agda.TypeChecking.Free.Lazy |
Semigroup MetaSet Source # | |
Instance detailsDefined in Agda.TypeChecking.Free.Lazy |
Semigroup InstanceTable Source # | |
Instance detailsDefined in Agda.TypeChecking.Monad.Base |
Semigroup Simplification Source # | |
Instance detailsDefined in Agda.TypeChecking.Monad.Base |
Semigroup OnlyLazy Source # | |
Instance detailsDefined in Agda.TypeChecking.Patterns.Match |
Semigroup OccurrencesBuilder Source # | The semigroup laws only hold up to flattening of Concat . |
Instance detailsDefined in Agda.TypeChecking.Positivity |
Semigroup ClausesPostChecks Source # | |
Instance detailsDefined in Agda.TypeChecking.Rules.Def |
Semigroup FlexChoice Source # | |
Instance detailsDefined in Agda.TypeChecking.Rules.LHS.Problem |
Semigroup LeftoverPatterns Source # | |
Instance detailsDefined in Agda.TypeChecking.Rules.LHS.Problem |
Semigroup UnifyOutput Source # | |
Instance detailsDefined in Agda.TypeChecking.Rules.LHS.Unify.Types |
Semigroup IntSet Source # | |
Instance detailsDefined in Agda.Utils.IntSet.Infinite |
Semigroup MaxNat Source # | |
Instance detailsDefined in Agda.Utils.Monoid |
Semigroup PartialOrdering Source # | Partial ordering forms a monoid under sequencing. |
Instance detailsDefined in Agda.Utils.PartialOrd |
Semigroup ByteArray | |
Instance detailsDefined in Data.Array.Byte Methods (<>) :: ByteArray -> ByteArray -> ByteArray # sconcat :: NonEmpty ByteArray -> ByteArray stimes :: Integral b => b -> ByteArray -> ByteArray |
Semigroup Attribute | |
Instance detailsDefined in Text.Blaze.Internal Methods (<>) :: Attribute -> Attribute -> Attribute # sconcat :: NonEmpty Attribute -> Attribute stimes :: Integral b => b -> Attribute -> Attribute |
Semigroup AttributeValue | |
Instance detailsDefined in Text.Blaze.Internal Methods (<>) :: AttributeValue -> AttributeValue -> AttributeValue # sconcat :: NonEmpty AttributeValue -> AttributeValue stimes :: Integral b => b -> AttributeValue -> AttributeValue |
Semigroup ChoiceString | |
Instance detailsDefined in Text.Blaze.Internal Methods (<>) :: ChoiceString -> ChoiceString -> ChoiceString # sconcat :: NonEmpty ChoiceString -> ChoiceString stimes :: Integral b => b -> ChoiceString -> ChoiceString |
Semigroup Builder | |
Instance detailsDefined in Data.ByteString.Builder.Internal Methods (<>) :: Builder -> Builder -> Builder # sconcat :: NonEmpty Builder -> Builder stimes :: Integral b => b -> Builder -> Builder |
Semigroup ByteString | |
Instance detailsDefined in Data.ByteString.Internal.Type Methods (<>) :: ByteString -> ByteString -> ByteString # sconcat :: NonEmpty ByteString -> ByteString stimes :: Integral b => b -> ByteString -> ByteString |
Semigroup ByteString | |
Instance detailsDefined in Data.ByteString.Lazy.Internal Methods (<>) :: ByteString -> ByteString -> ByteString # sconcat :: NonEmpty ByteString -> ByteString stimes :: Integral b => b -> ByteString -> ByteString |
Semigroup ShortByteString | |
Instance detailsDefined in Data.ByteString.Short.Internal Methods (<>) :: ShortByteString -> ShortByteString -> ShortByteString # sconcat :: NonEmpty ShortByteString -> ShortByteString stimes :: Integral b => b -> ShortByteString -> ShortByteString |
Semigroup IntSet | |
Instance detailsDefined in Data.IntSet.Internal |
Semigroup Void | |
Instance detailsDefined in GHC.Internal.Base |
Semigroup All | |
Instance detailsDefined in GHC.Internal.Data.Semigroup.Internal |
Semigroup Any | |
Instance detailsDefined in GHC.Internal.Data.Semigroup.Internal |
Semigroup Ordering | |
Instance detailsDefined in GHC.Internal.Base Methods (<>) :: Ordering -> Ordering -> Ordering # sconcat :: NonEmpty Ordering -> Ordering stimes :: Integral b => b -> Ordering -> Ordering |
Semigroup OsString | |
Instance detailsDefined in System.OsString.Internal.Types Methods (<>) :: OsString -> OsString -> OsString # sconcat :: NonEmpty OsString -> OsString stimes :: Integral b => b -> OsString -> OsString |
Semigroup PosixString | |
Instance detailsDefined in System.OsString.Internal.Types Methods (<>) :: PosixString -> PosixString -> PosixString # sconcat :: NonEmpty PosixString -> PosixString stimes :: Integral b => b -> PosixString -> PosixString |
Semigroup WindowsString | |
Instance detailsDefined in System.OsString.Internal.Types Methods (<>) :: WindowsString -> WindowsString -> WindowsString # sconcat :: NonEmpty WindowsString -> WindowsString stimes :: Integral b => b -> WindowsString -> WindowsString |
Semigroup Doc | |
Instance detailsDefined in Text.PrettyPrint.HughesPJ |
Semigroup SetTestInfo | |
Instance detailsDefined in Text.Regex.TDFA.CorePattern Methods (<>) :: SetTestInfo -> SetTestInfo -> SetTestInfo # sconcat :: NonEmpty SetTestInfo -> SetTestInfo stimes :: Integral b => b -> SetTestInfo -> SetTestInfo |
Semigroup Series | |
Instance detailsDefined in Data.Aeson.Encoding.Internal |
Semigroup Key | |
Instance detailsDefined in Data.Aeson.Key |
Semigroup Builder | |
Instance detailsDefined in Data.Text.Internal.Builder Methods (<>) :: Builder -> Builder -> Builder # sconcat :: NonEmpty Builder -> Builder stimes :: Integral b => b -> Builder -> Builder |
Semigroup StrictBuilder | |
Instance detailsDefined in Data.Text.Internal.StrictBuilder Methods (<>) :: StrictBuilder -> StrictBuilder -> StrictBuilder # sconcat :: NonEmpty StrictBuilder -> StrictBuilder stimes :: Integral b => b -> StrictBuilder -> StrictBuilder |
Semigroup ShortText | |
Instance detailsDefined in Data.Text.Short.Internal Methods (<>) :: ShortText -> ShortText -> ShortText # sconcat :: NonEmpty ShortText -> ShortText stimes :: Integral b => b -> ShortText -> ShortText |
Semigroup () | |
Instance detailsDefined in GHC.Internal.Base |
Semigroup (DelayedMerge hl) Source # | |
Instance detailsDefined in Agda.Interaction.Highlighting.Precise |
Semigroup (UnderAddition Cohesion) Source # | Cohesion forms a semigroup under addition.
|
Instance detailsDefined in Agda.Syntax.Common |
Semigroup (UnderAddition Modality) Source # | Pointwise addition. |
Instance detailsDefined in Agda.Syntax.Common |
Semigroup (UnderAddition Quantity) Source # | |
Instance detailsDefined in Agda.Syntax.Common |
Semigroup (UnderAddition Relevance) Source # | |
Instance detailsDefined in Agda.Syntax.Common |
Semigroup (UnderComposition Cohesion) Source # | Cohesion forms a semigroup under composition.
|
Instance detailsDefined in Agda.Syntax.Common |
Semigroup (UnderComposition Erased) Source # | |
Instance detailsDefined in Agda.Syntax.Common |
Semigroup (UnderComposition Modality) Source # | Pointwise composition. |
Instance detailsDefined in Agda.Syntax.Common |
Semigroup (UnderComposition Quantity) Source # | Composition of quantities (multiplication). Quantity0 is dominant.
Quantity1 is neutral.
Right-biased for origin. |
Instance detailsDefined in Agda.Syntax.Common |
Semigroup (UnderComposition Relevance) Source # | Relevance forms a semigroup under composition.
|
Instance detailsDefined in Agda.Syntax.Common |
Semigroup (NotBlocked' t) Source # | ReallyNotBlocked is the unit.
MissingClauses is dominant.
StuckOn {} should be propagated, if tied, we take the left.
|
Instance detailsDefined in Agda.Syntax.Internal.Blockers |
Eq a => Semigroup (Range' a) Source # | |
Instance detailsDefined in Agda.Syntax.Position |
Semigroup (AbsToCon Doc) Source # | |
Instance detailsDefined in Agda.Syntax.Translation.AbstractToConcrete |
Semigroup (CallGraph cinfo) Source # | CallGraph is a monoid under union .
|
Instance detailsDefined in Agda.Termination.CallGraph |
Semigroup (CMSet cinfo) Source # | |
Instance detailsDefined in Agda.Termination.CallMatrix |
Semigroup m => Semigroup (TerM m) Source # | |
Instance detailsDefined in Agda.Termination.Monad |
Semigroup m => Semigroup (Case m) Source # | |
Instance detailsDefined in Agda.TypeChecking.CompiledClause |
Semigroup c => Semigroup (WithArity c) Source # | |
Instance detailsDefined in Agda.TypeChecking.CompiledClause |
Ord a => Semigroup (QueryResult a) Source # | |
Instance detailsDefined in Agda.TypeChecking.DiscrimTree |
Ord a => Semigroup (DiscrimTree a) Source # | |
Instance detailsDefined in Agda.TypeChecking.DiscrimTree.Types |
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 detailsDefined in Agda.TypeChecking.Free.Lazy |
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 detailsDefined in Agda.TypeChecking.Free.Lazy |
Semigroup (TCM Doc) Source # | This instance is more specific than a generic instance
Semigroup a => Semigroup (TCM a) . |
Instance detailsDefined in Agda.TypeChecking.Pretty |
Semigroup (Match a) Source # | |
Instance detailsDefined in Agda.TypeChecking.Patterns.Match |
Ord a => Semigroup (Bag a) Source # | |
Instance detailsDefined in Agda.Utils.Bag |
PartialOrd a => Semigroup (Favorites a) Source # | Favorites forms a Monoid under empty and 'union.
|
Instance detailsDefined in Agda.Utils.Favorites |
Semigroup a => Semigroup (RangeMap a) Source # | Merges RangeMap s by inserting every "piece" of the smaller
one into the larger one. |
Instance detailsDefined in Agda.Utils.RangeMap |
SmallSetElement a => Semigroup (SmallSet a) Source # | |
Instance detailsDefined in Agda.Utils.SmallSet |
Semigroup (FromMaybe b) | |
Instance detailsDefined in Data.Foldable1 Methods (<>) :: FromMaybe b -> FromMaybe b -> FromMaybe b # sconcat :: NonEmpty (FromMaybe b) -> FromMaybe b stimes :: Integral b0 => b0 -> FromMaybe b -> FromMaybe b |
Semigroup a => Semigroup (JoinWith a) | |
Instance detailsDefined in Data.Foldable1 Methods (<>) :: JoinWith a -> JoinWith a -> JoinWith a # sconcat :: NonEmpty (JoinWith a) -> JoinWith a stimes :: Integral b => b -> JoinWith a -> JoinWith a |
Semigroup (NonEmptyDList a) | |
Instance detailsDefined in Data.Foldable1 Methods (<>) :: NonEmptyDList a -> NonEmptyDList a -> NonEmptyDList a # sconcat :: NonEmpty (NonEmptyDList a) -> NonEmptyDList a stimes :: Integral b => b -> NonEmptyDList a -> NonEmptyDList a |
Semigroup (Comparison a) | |
Instance detailsDefined in Data.Functor.Contravariant Methods (<>) :: Comparison a -> Comparison a -> Comparison a # sconcat :: NonEmpty (Comparison a) -> Comparison a stimes :: Integral b => b -> Comparison a -> Comparison a |
Semigroup (Equivalence a) | |
Instance detailsDefined in Data.Functor.Contravariant Methods (<>) :: Equivalence a -> Equivalence a -> Equivalence a # sconcat :: NonEmpty (Equivalence a) -> Equivalence a stimes :: Integral b => b -> Equivalence a -> Equivalence a |
Semigroup (Predicate a) | |
Instance detailsDefined in Data.Functor.Contravariant Methods (<>) :: Predicate a -> Predicate a -> Predicate a # sconcat :: NonEmpty (Predicate a) -> Predicate a stimes :: Integral b => b -> Predicate a -> Predicate a |
Semigroup (First a) | |
Instance detailsDefined in Data.Semigroup Methods (<>) :: First a -> First a -> First a # sconcat :: NonEmpty (First a) -> First a stimes :: Integral b => b -> First a -> First a |
Semigroup (Last a) | |
Instance detailsDefined in Data.Semigroup |
Ord a => Semigroup (Max a) | |
Instance detailsDefined in Data.Semigroup |
Ord a => Semigroup (Min a) | |
Instance detailsDefined in Data.Semigroup |
Monoid m => Semigroup (WrappedMonoid m) | |
Instance detailsDefined in Data.Semigroup Methods (<>) :: WrappedMonoid m -> WrappedMonoid m -> WrappedMonoid m # sconcat :: NonEmpty (WrappedMonoid m) -> WrappedMonoid m stimes :: Integral b => b -> WrappedMonoid m -> WrappedMonoid m |
Semigroup (PutM ()) | |
Instance detailsDefined in Data.Binary.Put Methods (<>) :: PutM () -> PutM () -> PutM () # sconcat :: NonEmpty (PutM ()) -> PutM () stimes :: Integral b => b -> PutM () -> PutM () |
Monoid a => Semigroup (MarkupM a) | |
Instance detailsDefined in Text.Blaze.Internal Methods (<>) :: MarkupM a -> MarkupM a -> MarkupM a # sconcat :: NonEmpty (MarkupM a) -> MarkupM a stimes :: Integral b => b -> MarkupM a -> MarkupM a |
Num a => Semigroup (AlphaColour a) | |
Instance detailsDefined in Data.Colour.Internal Methods (<>) :: AlphaColour a -> AlphaColour a -> AlphaColour a # sconcat :: NonEmpty (AlphaColour a) -> AlphaColour a stimes :: Integral b => b -> AlphaColour a -> AlphaColour a |
Num a => Semigroup (Colour a) | |
Instance detailsDefined in Data.Colour.Internal Methods (<>) :: Colour a -> Colour a -> Colour a # sconcat :: NonEmpty (Colour a) -> Colour a stimes :: Integral b => b -> Colour a -> Colour a |
Semigroup (IntMap a) | |
Instance detailsDefined in Data.IntMap.Internal Methods (<>) :: IntMap a -> IntMap a -> IntMap a # sconcat :: NonEmpty (IntMap a) -> IntMap a stimes :: Integral b => b -> IntMap a -> IntMap a |
Semigroup (Seq a) | |
Instance detailsDefined in Data.Sequence.Internal |
Ord a => Semigroup (Intersection a) | |
Instance detailsDefined in Data.Set.Internal Methods (<>) :: Intersection a -> Intersection a -> Intersection a # sconcat :: NonEmpty (Intersection a) -> Intersection a stimes :: Integral b => b -> Intersection a -> Intersection a |
Semigroup (MergeSet a) | |
Instance detailsDefined in Data.Set.Internal Methods (<>) :: MergeSet a -> MergeSet a -> MergeSet a # sconcat :: NonEmpty (MergeSet a) -> MergeSet a stimes :: Integral b => b -> MergeSet a -> MergeSet a |
Ord a => Semigroup (Set a) | |
Instance detailsDefined in Data.Set.Internal |
Semigroup s => Semigroup (CI s) | |
Instance detailsDefined in Data.CaseInsensitive.Internal |
Semigroup (DNonEmpty a) | |
Instance detailsDefined in Data.DList.DNonEmpty.Internal Methods (<>) :: DNonEmpty a -> DNonEmpty a -> DNonEmpty a # sconcat :: NonEmpty (DNonEmpty a) -> DNonEmpty a stimes :: Integral b => b -> DNonEmpty a -> DNonEmpty a |
Semigroup (DList a) | |
Instance detailsDefined in Data.DList.Internal Methods (<>) :: DList a -> DList a -> DList a # sconcat :: NonEmpty (DList a) -> DList a stimes :: Integral b => b -> DList a -> DList a |
Semigroup (NonEmpty a) | |
Instance detailsDefined in GHC.Internal.Base |
Semigroup a => Semigroup (STM a) | |
Instance detailsDefined in GHC.Internal.Conc.Sync |
Semigroup a => Semigroup (Identity a) | |
Instance detailsDefined in GHC.Internal.Data.Functor.Identity Methods (<>) :: Identity a -> Identity a -> Identity a # sconcat :: NonEmpty (Identity a) -> Identity a stimes :: Integral b => b -> Identity a -> Identity a |
Semigroup (First a) | |
Instance detailsDefined in GHC.Internal.Data.Monoid Methods (<>) :: First a -> First a -> First a # sconcat :: NonEmpty (First a) -> First a stimes :: Integral b => b -> First a -> First a |
Semigroup (Last a) | |
Instance detailsDefined in GHC.Internal.Data.Monoid |
Semigroup a => Semigroup (Down a) | |
Instance detailsDefined in GHC.Internal.Data.Ord |
Semigroup a => Semigroup (Dual a) | |
Instance detailsDefined in GHC.Internal.Data.Semigroup.Internal |
Semigroup (Endo a) | |
Instance detailsDefined in GHC.Internal.Data.Semigroup.Internal |
Num a => Semigroup (Product a) | |
Instance detailsDefined in GHC.Internal.Data.Semigroup.Internal Methods (<>) :: Product a -> Product a -> Product a # sconcat :: NonEmpty (Product a) -> Product a stimes :: Integral b => b -> Product a -> Product a |
Num a => Semigroup (Sum a) | |
Instance detailsDefined in GHC.Internal.Data.Semigroup.Internal |
(Generic a, Semigroup (Rep a ())) => Semigroup (Generically a) | |
Instance detailsDefined in GHC.Internal.Generics Methods (<>) :: Generically a -> Generically a -> Generically a # sconcat :: NonEmpty (Generically a) -> Generically a stimes :: Integral b => b -> Generically a -> Generically a |
Semigroup p => Semigroup (Par1 p) | |
Instance detailsDefined in GHC.Internal.Generics |
Semigroup a => Semigroup (IO a) | |
Instance detailsDefined in GHC.Internal.Base |
Semigroup (Validity k) | |
Instance detailsDefined in Data.HashMap.Internal.Debug Methods (<>) :: Validity k -> Validity k -> Validity k # sconcat :: NonEmpty (Validity k) -> Validity k stimes :: Integral b => b -> Validity k -> Validity k |
(Hashable a, Eq a) => Semigroup (HashSet a) | |
Instance detailsDefined in Data.HashSet.Internal Methods (<>) :: HashSet a -> HashSet a -> HashSet a # sconcat :: NonEmpty (HashSet a) -> HashSet a stimes :: Integral b => b -> HashSet a -> HashSet a |
Ord a => Semigroup (MinQueue a) | |
Instance detailsDefined in Data.PQueue.Internals Methods (<>) :: MinQueue a -> MinQueue a -> MinQueue a # sconcat :: NonEmpty (MinQueue a) -> MinQueue a stimes :: Integral b => b -> MinQueue a -> MinQueue a |
Ord a => Semigroup (MaxQueue a) | |
Instance detailsDefined in Data.PQueue.Max Methods (<>) :: MaxQueue a -> MaxQueue a -> MaxQueue a # sconcat :: NonEmpty (MaxQueue a) -> MaxQueue a stimes :: Integral b => b -> MaxQueue a -> MaxQueue a |
Semigroup (Doc a) | |
Instance detailsDefined in Text.PrettyPrint.Annotated.HughesPJ |
Semigroup (Array a) | |
Instance detailsDefined in Data.Primitive.Array Methods (<>) :: Array a -> Array a -> Array a # sconcat :: NonEmpty (Array a) -> Array a stimes :: Integral b => b -> Array a -> Array a |
Semigroup (PrimArray a) | |
Instance detailsDefined in Data.Primitive.PrimArray Methods (<>) :: PrimArray a -> PrimArray a -> PrimArray a # sconcat :: NonEmpty (PrimArray a) -> PrimArray a stimes :: Integral b => b -> PrimArray a -> PrimArray a |
Semigroup (SmallArray a) | |
Instance detailsDefined in Data.Primitive.SmallArray Methods (<>) :: SmallArray a -> SmallArray a -> SmallArray a # sconcat :: NonEmpty (SmallArray a) -> SmallArray a stimes :: Integral b => b -> SmallArray a -> SmallArray a |
Semigroup (CharMap a) | |
Instance detailsDefined in Data.IntMap.CharMap2 Methods (<>) :: CharMap a -> CharMap a -> CharMap a # sconcat :: NonEmpty (CharMap a) -> CharMap a stimes :: Integral b => b -> CharMap a -> CharMap a |
Semigroup (EnumSet e) | |
Instance detailsDefined in Data.IntSet.EnumSet2 Methods (<>) :: EnumSet e -> EnumSet e -> EnumSet e # sconcat :: NonEmpty (EnumSet e) -> EnumSet e stimes :: Integral b => b -> EnumSet e -> EnumSet e |
Semigroup (KeyMap v) | |
Instance detailsDefined in Data.Aeson.KeyMap Methods (<>) :: KeyMap v -> KeyMap v -> KeyMap v # sconcat :: NonEmpty (KeyMap v) -> KeyMap v stimes :: Integral b => b -> KeyMap v -> KeyMap v |
Semigroup (IResult a) | |
Instance detailsDefined in Data.Aeson.Types.Internal Methods (<>) :: IResult a -> IResult a -> IResult a # sconcat :: NonEmpty (IResult a) -> IResult a stimes :: Integral b => b -> IResult a -> IResult a |
Semigroup (Parser a) | |
Instance detailsDefined in Data.Aeson.Types.Internal Methods (<>) :: Parser a -> Parser a -> Parser a # sconcat :: NonEmpty (Parser a) -> Parser a stimes :: Integral b => b -> Parser a -> Parser a |
Semigroup (Result a) | |
Instance detailsDefined in Data.Aeson.Types.Internal Methods (<>) :: Result a -> Result a -> Result a # sconcat :: NonEmpty (Result a) -> Result a stimes :: Integral b => b -> Result a -> Result a |
Semigroup a => Semigroup (Maybe a) | |
Instance detailsDefined in Data.Strict.Maybe |
Semigroup a => Semigroup (Concurrently a) | |
Instance detailsDefined in Control.Concurrent.Async.Internal Methods (<>) :: Concurrently a -> Concurrently a -> Concurrently a # sconcat :: NonEmpty (Concurrently a) -> Concurrently a stimes :: Integral b => b -> Concurrently a -> Concurrently a |
Semigroup a => Semigroup (Q a) | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Semigroup (Vector a) | |
Instance detailsDefined in Data.Vector Methods (<>) :: Vector a -> Vector a -> Vector a # sconcat :: NonEmpty (Vector a) -> Vector a stimes :: Integral b => b -> Vector a -> Vector a |
Prim a => Semigroup (Vector a) | |
Instance detailsDefined in Data.Vector.Primitive Methods (<>) :: Vector a -> Vector a -> Vector a # sconcat :: NonEmpty (Vector a) -> Vector a stimes :: Integral b => b -> Vector a -> Vector a |
Storable a => Semigroup (Vector a) | |
Instance detailsDefined in Data.Vector.Storable Methods (<>) :: Vector a -> Vector a -> Vector a # sconcat :: NonEmpty (Vector a) -> Vector a stimes :: Integral b => b -> Vector a -> Vector a |
Semigroup a => Semigroup (Maybe a) | |
Instance detailsDefined in GHC.Internal.Base |
Semigroup a => Semigroup (Solo a) | |
Instance detailsDefined in GHC.Internal.Base |
Semigroup [a] | |
Instance detailsDefined in GHC.Internal.Base |
(HasRange n, HasRange m) => Semigroup (ImportDirective' n m) Source # | |
Instance detailsDefined in Agda.Syntax.Common |
Semigroup (Using' n m) Source # | |
Instance detailsDefined in Agda.Syntax.Common |
Semigroup a => Semigroup (Blocked' t a) Source # | |
Instance detailsDefined in Agda.Syntax.Internal.Blockers |
(Monad m, Semigroup a) => Semigroup (PureConversionT m a) Source # | |
Instance detailsDefined in Agda.TypeChecking.Conversion.Pure |
(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 detailsDefined in Agda.TypeChecking.Monad.Base |
Monad m => Semigroup (ListT m a) Source # | |
Instance detailsDefined in Agda.Utils.ListT |
Semigroup a => Semigroup (Op a b) | |
Instance detailsDefined in Data.Functor.Contravariant |
Ord k => Semigroup (Map k v) | |
Instance detailsDefined in Data.Map.Internal Methods (<>) :: Map k v -> Map k v -> Map k v # sconcat :: NonEmpty (Map k v) -> Map k v stimes :: Integral b => b -> Map k v -> Map k v |
Semigroup (Either a b) | |
Instance detailsDefined in GHC.Internal.Data.Either Methods (<>) :: Either a b -> Either a b -> Either a b # sconcat :: NonEmpty (Either a b) -> Either a b stimes :: Integral b0 => b0 -> Either a b -> Either a b |
Semigroup (Proxy s) | |
Instance detailsDefined in GHC.Internal.Data.Proxy Methods (<>) :: Proxy s -> Proxy s -> Proxy s # sconcat :: NonEmpty (Proxy s) -> Proxy s stimes :: Integral b => b -> Proxy s -> Proxy s |
Semigroup (U1 p) | |
Instance detailsDefined in GHC.Internal.Generics |
Semigroup (V1 p) | |
Instance detailsDefined in GHC.Internal.Generics |
Semigroup a => Semigroup (ST s a) | |
Instance detailsDefined in GHC.Internal.ST |
(Eq k, Hashable k) => Semigroup (HashMap k v) | |
Instance detailsDefined in Data.HashMap.Internal Methods (<>) :: HashMap k v -> HashMap k v -> HashMap k v # sconcat :: NonEmpty (HashMap k v) -> HashMap k v stimes :: Integral b => b -> HashMap k v -> HashMap k v |
Ord k => Semigroup (EnumMap k a) | |
Instance detailsDefined in Data.IntMap.EnumMap2 Methods (<>) :: EnumMap k a -> EnumMap k a -> EnumMap k a # sconcat :: NonEmpty (EnumMap k a) -> EnumMap k a stimes :: Integral b => b -> EnumMap k a -> EnumMap k a |
Semigroup (Either a b) | |
Instance detailsDefined in Data.Strict.Either Methods (<>) :: Either a b -> Either a b -> Either a b # sconcat :: NonEmpty (Either a b) -> Either a b stimes :: Integral b0 => b0 -> Either a b -> Either a b |
(Semigroup a, Semigroup b) => Semigroup (These a b) | |
Instance detailsDefined in Data.Strict.These Methods (<>) :: These a b -> These a b -> These a b # sconcat :: NonEmpty (These a b) -> These a b stimes :: Integral b0 => b0 -> These a b -> These a b |
(Semigroup a, Semigroup b) => Semigroup (Pair a b) | |
Instance detailsDefined in Data.Strict.Tuple Methods (<>) :: Pair a b -> Pair a b -> Pair a b # sconcat :: NonEmpty (Pair a b) -> Pair a b stimes :: Integral b0 => b0 -> Pair a b -> Pair a b |
Semigroup a => Semigroup (ConcurrentlyE e a) | |
Instance detailsDefined in Control.Concurrent.Async.Internal Methods (<>) :: ConcurrentlyE e a -> ConcurrentlyE e a -> ConcurrentlyE e a # sconcat :: NonEmpty (ConcurrentlyE e a) -> ConcurrentlyE e a stimes :: Integral b => b -> ConcurrentlyE e a -> ConcurrentlyE e a |
(Semigroup a, Semigroup b) => Semigroup (These a b) | |
Instance detailsDefined in Data.These Methods (<>) :: These a b -> These a b -> These a b # sconcat :: NonEmpty (These a b) -> These a b stimes :: Integral b0 => b0 -> These a b -> These a b |
(Semigroup a, Semigroup b) => Semigroup (a, b) | |
Instance detailsDefined in GHC.Internal.Base |
Semigroup b => Semigroup (a -> b) | |
Instance detailsDefined in GHC.Internal.Base Methods (<>) :: (a -> b) -> (a -> b) -> a -> b # sconcat :: NonEmpty (a -> b) -> a -> b stimes :: Integral b0 => b0 -> (a -> b) -> a -> b |
Semigroup a => Semigroup (Const a b) | |
Instance detailsDefined in GHC.Internal.Data.Functor.Const Methods (<>) :: Const a b -> Const a b -> Const a b # sconcat :: NonEmpty (Const a b) -> Const a b stimes :: Integral b0 => b0 -> Const a b -> Const a b |
(Applicative f, Semigroup a) => Semigroup (Ap f a) | |
Instance detailsDefined in GHC.Internal.Data.Monoid |
Alternative f => Semigroup (Alt f a) | |
Instance detailsDefined in GHC.Internal.Data.Semigroup.Internal Methods (<>) :: Alt f a -> Alt f a -> Alt f a # sconcat :: NonEmpty (Alt f a) -> Alt f a stimes :: Integral b => b -> Alt f a -> Alt f a |
Semigroup (f p) => Semigroup (Rec1 f p) | |
Instance detailsDefined in GHC.Internal.Generics Methods (<>) :: Rec1 f p -> Rec1 f p -> Rec1 f p # sconcat :: NonEmpty (Rec1 f p) -> Rec1 f p stimes :: Integral b => b -> Rec1 f p -> Rec1 f p |
Semigroup a => Semigroup (Tagged s a) | |
Instance detailsDefined in Data.Tagged Methods (<>) :: Tagged s a -> Tagged s a -> Tagged s a # sconcat :: NonEmpty (Tagged s a) -> Tagged s a stimes :: Integral b => b -> Tagged s a -> Tagged s a |
(Applicative m, Semigroup doc) => Semigroup (ReaderT s m doc) Source # | |
Instance detailsDefined in Agda.Utils.Semigroup Methods (<>) :: ReaderT s m doc -> ReaderT s m doc -> ReaderT s m doc # sconcat :: NonEmpty (ReaderT s m doc) -> ReaderT s m doc stimes :: Integral b => b -> ReaderT s m doc -> ReaderT s m doc |
(Monad m, Semigroup doc) => Semigroup (StateT s m doc) Source # | |
Instance detailsDefined in Agda.Utils.Semigroup Methods (<>) :: StateT s m doc -> StateT s m doc -> StateT s m doc # sconcat :: NonEmpty (StateT s m doc) -> StateT s m doc stimes :: Integral b => b -> StateT s m doc -> StateT s m doc |
Semigroup a => Semigroup (Constant a b) | |
Instance detailsDefined in Data.Functor.Constant Methods (<>) :: Constant a b -> Constant a b -> Constant a b # sconcat :: NonEmpty (Constant a b) -> Constant a b stimes :: Integral b0 => b0 -> Constant a b -> Constant a b |
(Semigroup a, Semigroup b, Semigroup c) => Semigroup (a, b, c) | |
Instance detailsDefined in GHC.Internal.Base Methods (<>) :: (a, b, c) -> (a, b, c) -> (a, b, c) # sconcat :: NonEmpty (a, b, c) -> (a, b, c) stimes :: Integral b0 => b0 -> (a, b, c) -> (a, b, c) |
(Semigroup (f a), Semigroup (g a)) => Semigroup (Product f g a) | |
Instance detailsDefined in Data.Functor.Product Methods (<>) :: Product f g a -> Product f g a -> Product f g a # sconcat :: NonEmpty (Product f g a) -> Product f g a stimes :: Integral b => b -> Product f g a -> Product f g a |
(Semigroup (f p), Semigroup (g p)) => Semigroup ((f :*: g) p) | |
Instance detailsDefined in GHC.Internal.Generics Methods (<>) :: (f :*: g) p -> (f :*: g) p -> (f :*: g) p # sconcat :: NonEmpty ((f :*: g) p) -> (f :*: g) p stimes :: Integral b => b -> (f :*: g) p -> (f :*: g) p |
Semigroup c => Semigroup (K1 i c p) | |
Instance detailsDefined in GHC.Internal.Generics Methods (<>) :: K1 i c p -> K1 i c p -> K1 i c p # sconcat :: NonEmpty (K1 i c p) -> K1 i c p stimes :: Integral b => b -> K1 i c p -> K1 i c p |
(Semigroup a, Semigroup b, Semigroup c, Semigroup d) => Semigroup (a, b, c, d) | |
Instance detailsDefined in GHC.Internal.Base Methods (<>) :: (a, b, c, d) -> (a, b, c, d) -> (a, b, c, d) # sconcat :: NonEmpty (a, b, c, d) -> (a, b, c, d) stimes :: Integral b0 => b0 -> (a, b, c, d) -> (a, b, c, d) |
Semigroup (f (g a)) => Semigroup (Compose f g a) | |
Instance detailsDefined in Data.Functor.Compose Methods (<>) :: Compose f g a -> Compose f g a -> Compose f g a # sconcat :: NonEmpty (Compose f g a) -> Compose f g a stimes :: Integral b => b -> Compose f g a -> Compose f g a |
Semigroup (f (g p)) => Semigroup ((f :.: g) p) | |
Instance detailsDefined in GHC.Internal.Generics Methods (<>) :: (f :.: g) p -> (f :.: g) p -> (f :.: g) p # sconcat :: NonEmpty ((f :.: g) p) -> (f :.: g) p stimes :: Integral b => b -> (f :.: g) p -> (f :.: g) p |
Semigroup (f p) => Semigroup (M1 i c f p) | |
Instance detailsDefined in GHC.Internal.Generics Methods (<>) :: M1 i c f p -> M1 i c f p -> M1 i c f p # sconcat :: NonEmpty (M1 i c f p) -> M1 i c f p stimes :: Integral b => b -> M1 i c f p -> M1 i c f p |
(Semigroup a, Semigroup b, Semigroup c, Semigroup d, Semigroup e) => Semigroup (a, b, c, d, e) | |
Instance detailsDefined in GHC.Internal.Base Methods (<>) :: (a, b, c, d, e) -> (a, b, c, d, e) -> (a, b, c, d, e) # sconcat :: NonEmpty (a, b, c, d, e) -> (a, b, c, d, e) stimes :: Integral b0 => b0 -> (a, b, c, d, e) -> (a, b, c, d, e) |