Semigroup Ordering | |
Instance detailsDefined in GHC.Base Methods (<>) :: Ordering -> Ordering -> Ordering # sconcat :: NonEmpty Ordering -> Ordering stimes :: Integral b => b -> Ordering -> Ordering |
Semigroup () | |
Instance detailsDefined in GHC.Base Methods (<>) :: () -> () -> () # sconcat :: NonEmpty () -> () stimes :: Integral b => b -> () -> () |
Semigroup Any | |
Instance detailsDefined in Data.Semigroup.Internal Methods (<>) :: Any -> Any -> Any # sconcat :: NonEmpty Any -> Any stimes :: Integral b => b -> Any -> Any |
Semigroup All | |
Instance detailsDefined in Data.Semigroup.Internal Methods (<>) :: All -> All -> All # sconcat :: NonEmpty All -> All stimes :: Integral b => b -> All -> All |
Semigroup CalendarDiffDays | |
Instance detailsDefined in Data.Time.Calendar.CalendarDiffDays Methods (<>) :: CalendarDiffDays -> CalendarDiffDays -> CalendarDiffDays # sconcat :: NonEmpty CalendarDiffDays -> CalendarDiffDays stimes :: Integral b => b -> CalendarDiffDays -> CalendarDiffDays |
Semigroup CalendarDiffTime | |
Instance detailsDefined in Data.Time.LocalTime.Internal.CalendarDiffTime Methods (<>) :: CalendarDiffTime -> CalendarDiffTime -> CalendarDiffTime # sconcat :: NonEmpty CalendarDiffTime -> CalendarDiffTime stimes :: Integral b => b -> CalendarDiffTime -> CalendarDiffTime |
Semigroup ByteString | |
Instance detailsDefined in Data.ByteString.Lazy.Internal Methods (<>) :: ByteString -> ByteString -> ByteString # sconcat :: NonEmpty ByteString -> ByteString stimes :: Integral b => b -> ByteString -> ByteString |
Semigroup ByteString | |
Instance detailsDefined in Data.ByteString.Internal Methods (<>) :: ByteString -> ByteString -> ByteString # sconcat :: NonEmpty ByteString -> ByteString stimes :: Integral b => b -> ByteString -> ByteString |
Semigroup Builder | |
Instance detailsDefined in Data.ByteString.Builder.Internal Methods (<>) :: Builder -> Builder -> Builder # sconcat :: NonEmpty Builder -> Builder stimes :: Integral b => b -> Builder -> Builder |
Semigroup IntSet Source # | |
Instance detailsDefined in Agda.Utils.IntSet.Infinite |
Semigroup ShortByteString | |
Instance detailsDefined in Data.ByteString.Short.Internal Methods (<>) :: ShortByteString -> ShortByteString -> ShortByteString # sconcat :: NonEmpty ShortByteString -> ShortByteString stimes :: Integral b => b -> ShortByteString -> ShortByteString |
Semigroup Void | |
Instance detailsDefined in Data.Void Methods (<>) :: Void -> Void -> Void # sconcat :: NonEmpty Void -> Void stimes :: Integral b => b -> Void -> Void |
Semigroup MaxNat Source # | |
Instance detailsDefined in Agda.Utils.Monoid |
Semigroup IntSet | |
Instance detailsDefined in Data.IntSet.Internal Methods (<>) :: IntSet -> IntSet -> IntSet # sconcat :: NonEmpty IntSet -> IntSet stimes :: Integral b => b -> IntSet -> IntSet |
Semigroup Doc | |
Instance detailsDefined in Text.PrettyPrint.HughesPJ |
Semigroup PartialOrdering Source # | Partial ordering forms a monoid under sequencing. |
Instance detailsDefined in Agda.Utils.PartialOrd |
Semigroup CoverageCheck Source # | |
Instance detailsDefined in Agda.Syntax.Common |
Semigroup PositivityCheck Source # | |
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 FreeVariables Source # | |
Instance detailsDefined in Agda.Syntax.Common |
Semigroup Cohesion Source # | Cohesion forms a semigroup under composition.
|
Instance detailsDefined in Agda.Syntax.Common |
Semigroup Relevance Source # | Relevance forms a semigroup under composition.
|
Instance detailsDefined in Agda.Syntax.Common |
Semigroup Quantity Source # | Composition of quantities (multiplication). Quantity0 is dominant.
Quantity1 is neutral.
Right-biased for origin. |
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 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 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 Modality Source # | Pointwise composition. |
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 Overlappable Source # | Just for the Hiding instance. Should never combine different
overlapping. |
Instance detailsDefined in Agda.Syntax.Common |
Semigroup CompressedFile Source # | |
Instance detailsDefined in Agda.Interaction.Highlighting.Precise |
Semigroup File Source # | |
Instance detailsDefined in Agda.Interaction.Highlighting.Precise |
Semigroup TokenBased Source # | |
Instance detailsDefined in Agda.Interaction.Highlighting.Precise |
Semigroup Aspects Source # | |
Instance detailsDefined in Agda.Interaction.Highlighting.Precise |
Semigroup Blocked_ Source # | |
Instance detailsDefined in Agda.Syntax.Internal |
Semigroup NotBlocked Source # | ReallyNotBlocked is the unit.
MissingClauses is dominant.
StuckOn {} should be propagated, if tied, we take the left.
|
Instance detailsDefined in Agda.Syntax.Internal |
Semigroup FlexRigMap Source # | |
Instance detailsDefined in Agda.TypeChecking.Free.Lazy |
Semigroup MetaSet Source # | |
Instance detailsDefined in Agda.TypeChecking.Free.Lazy |
Semigroup VarCounts Source # | |
Instance detailsDefined in Agda.TypeChecking.Free |
Semigroup Simplification Source # | |
Instance detailsDefined in Agda.TypeChecking.Monad.Base |
Semigroup ByteArray | |
Instance detailsDefined in Data.Primitive.ByteArray Methods (<>) :: ByteArray -> ByteArray -> ByteArray # sconcat :: NonEmpty ByteArray -> ByteArray stimes :: Integral b => b -> ByteArray -> ByteArray |
Semigroup Slot | |
Instance detailsDefined in Data.HashTable.ST.Basic Methods (<>) :: Slot -> Slot -> Slot # sconcat :: NonEmpty Slot -> Slot stimes :: Integral b => b -> Slot -> Slot |
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 LeftoverPatterns Source # | |
Instance detailsDefined in Agda.TypeChecking.Rules.LHS.Problem |
Semigroup FlexChoice Source # | |
Instance detailsDefined in Agda.TypeChecking.Rules.LHS.Problem |
Semigroup OccurrencesBuilder Source # | The semigroup laws only hold up to flattening of Concat . |
Instance detailsDefined in Agda.TypeChecking.Positivity |
Semigroup CallPath Source # | |
Instance detailsDefined in Agda.Termination.Monad |
Semigroup Series | |
Instance detailsDefined in Data.Aeson.Encoding.Internal Methods (<>) :: Series -> Series -> Series # sconcat :: NonEmpty Series -> Series stimes :: Integral b => b -> Series -> Series |
Semigroup More | |
Instance detailsDefined in Data.Attoparsec.Internal.Types Methods (<>) :: More -> More -> More # sconcat :: NonEmpty More -> More stimes :: Integral b => b -> More -> More |
Semigroup ClausesPostChecks Source # | |
Instance detailsDefined in Agda.TypeChecking.Rules.Def |
Semigroup IsMain Source # | Conjunctive semigroup (NotMain is absorbing). |
Instance detailsDefined in Agda.Compiler.Common |
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 [a] | |
Instance detailsDefined in GHC.Base Methods (<>) :: [a] -> [a] -> [a] # sconcat :: NonEmpty [a] -> [a] stimes :: Integral b => b -> [a] -> [a] |
Semigroup a => Semigroup (Maybe a) | |
Instance detailsDefined in GHC.Base Methods (<>) :: Maybe a -> Maybe a -> Maybe a # sconcat :: NonEmpty (Maybe a) -> Maybe a stimes :: Integral b => b -> Maybe a -> Maybe a |
Semigroup a => Semigroup (IO a) | |
Instance detailsDefined in GHC.Base Methods (<>) :: IO a -> IO a -> IO a # sconcat :: NonEmpty (IO a) -> IO a stimes :: Integral b => b -> IO a -> IO a |
Semigroup p => Semigroup (Par1 p) | |
Instance detailsDefined in GHC.Generics Methods (<>) :: Par1 p -> Par1 p -> Par1 p # sconcat :: NonEmpty (Par1 p) -> Par1 p stimes :: Integral b => b -> Par1 p -> Par1 p |
Semigroup (NonEmpty a) | |
Instance detailsDefined in GHC.Base Methods (<>) :: NonEmpty a -> NonEmpty a -> NonEmpty a # sconcat :: NonEmpty (NonEmpty a) -> NonEmpty a stimes :: Integral b => b -> NonEmpty a -> NonEmpty a |
Semigroup a => Semigroup (Identity a) | |
Instance detailsDefined in Data.Functor.Identity Methods (<>) :: Identity a -> Identity a -> Identity a # sconcat :: NonEmpty (Identity a) -> Identity a stimes :: Integral b => b -> Identity a -> Identity a |
Ord a => Semigroup (Set a) | |
Instance detailsDefined in Data.Set.Internal Methods (<>) :: Set a -> Set a -> Set a # sconcat :: NonEmpty (Set a) -> Set a stimes :: Integral b => b -> Set a -> Set a |
Semigroup a => Semigroup (Dual a) | |
Instance detailsDefined in Data.Semigroup.Internal Methods (<>) :: Dual a -> Dual a -> Dual a # sconcat :: NonEmpty (Dual a) -> Dual a stimes :: Integral b => b -> Dual a -> Dual a |
Semigroup (Endo a) | |
Instance detailsDefined in Data.Semigroup.Internal Methods (<>) :: Endo a -> Endo a -> Endo a # sconcat :: NonEmpty (Endo a) -> Endo a stimes :: Integral b => b -> Endo a -> Endo a |
Num a => Semigroup (Product a) | |
Instance detailsDefined in 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 Data.Semigroup.Internal Methods (<>) :: Sum a -> Sum a -> Sum a # sconcat :: NonEmpty (Sum a) -> Sum a stimes :: Integral b => b -> Sum a -> Sum a |
Semigroup a => Semigroup (Down a) | |
Instance detailsDefined in Data.Ord Methods (<>) :: Down a -> Down a -> Down a # sconcat :: NonEmpty (Down a) -> Down a stimes :: Integral b => b -> Down a -> Down a |
Semigroup (First a) | |
Instance detailsDefined in 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 Data.Monoid Methods (<>) :: Last a -> Last a -> Last a # sconcat :: NonEmpty (Last a) -> Last a stimes :: Integral b => b -> Last a -> Last a |
Semigroup (PutM ()) | |
Instance detailsDefined in Data.Binary.Put Methods (<>) :: PutM () -> PutM () -> PutM () # sconcat :: NonEmpty (PutM ()) -> PutM () stimes :: Integral b => b -> PutM () -> PutM () |
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 Methods (<>) :: Last a -> Last a -> Last a # sconcat :: NonEmpty (Last a) -> Last a stimes :: Integral b => b -> Last a -> Last a |
Ord a => Semigroup (Max a) | |
Instance detailsDefined in Data.Semigroup Methods (<>) :: Max a -> Max a -> Max a # sconcat :: NonEmpty (Max a) -> Max a stimes :: Integral b => b -> Max a -> Max a |
Ord a => Semigroup (Min a) | |
Instance detailsDefined in Data.Semigroup Methods (<>) :: Min a -> Min a -> Min a # sconcat :: NonEmpty (Min a) -> Min a stimes :: Integral b => b -> Min a -> Min a |
Semigroup a => Semigroup (Option a) | |
Instance detailsDefined in Data.Semigroup Methods (<>) :: Option a -> Option a -> Option a # sconcat :: NonEmpty (Option a) -> Option a stimes :: Integral b => b -> Option a -> Option a |
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 |
Ord a => Semigroup (Bag a) Source # | |
Instance detailsDefined in Agda.Utils.Bag |
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 |
(Hashable a, Eq a) => Semigroup (HashSet a) | |
Instance detailsDefined in Data.HashSet.Base Methods (<>) :: HashSet a -> HashSet a -> HashSet a # sconcat :: NonEmpty (HashSet a) -> HashSet a stimes :: Integral b => b -> HashSet a -> HashSet 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 Methods (<>) :: Seq a -> Seq a -> Seq a # sconcat :: NonEmpty (Seq a) -> Seq a stimes :: Integral b => b -> Seq a -> Seq a |
Semigroup (Doc a) | |
Instance detailsDefined in Text.PrettyPrint.Annotated.HughesPJ Methods (<>) :: Doc a -> Doc a -> Doc a # sconcat :: NonEmpty (Doc a) -> Doc a stimes :: Integral b => b -> Doc a -> Doc a |
Semigroup a => Semigroup (Maybe a) Source # | |
Instance detailsDefined in Agda.Utils.Maybe.Strict |
Semigroup (TCM Doc) Source # | |
Instance detailsDefined in Agda.TypeChecking.Warnings |
PartialOrd a => Semigroup (Favorites a) Source # | Favorites forms a Monoid under empty and 'union.
|
Instance detailsDefined in Agda.Utils.Favorites |
Semigroup (CMSet cinfo) Source # | |
Instance detailsDefined in Agda.Termination.CallMatrix |
Semigroup (CallGraph cinfo) Source # | CallGraph is a monoid under union .
|
Instance detailsDefined in Agda.Termination.CallGraph |
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 m => Semigroup (Case m) Source # | |
Instance detailsDefined in Agda.TypeChecking.CompiledClause |
Semigroup c => Semigroup (WithArity c) Source # | |
Instance detailsDefined in Agda.TypeChecking.CompiledClause |
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 (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 |
Semigroup (Match a) Source # | |
Instance detailsDefined in Agda.TypeChecking.Patterns.Match |
Semigroup a => Semigroup (OccM a) Source # | |
Instance detailsDefined in Agda.TypeChecking.Positivity |
Semigroup m => Semigroup (TerM m) Source # | |
Instance detailsDefined in Agda.Termination.Monad |
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 (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 (DList a) | |
Instance detailsDefined in Data.DList Methods (<>) :: DList a -> DList a -> DList a # sconcat :: NonEmpty (DList a) -> DList a stimes :: Integral b => b -> DList a -> DList 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 (Concurrently a) | |
Instance detailsDefined in Control.Concurrent.Async Methods (<>) :: Concurrently a -> Concurrently a -> Concurrently a # sconcat :: NonEmpty (Concurrently a) -> Concurrently a stimes :: Integral b => b -> Concurrently a -> Concurrently a |
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 |
Semigroup b => Semigroup (a -> b) | |
Instance detailsDefined in GHC.Base Methods (<>) :: (a -> b) -> (a -> b) -> a -> b # sconcat :: NonEmpty (a -> b) -> a -> b stimes :: Integral b0 => b0 -> (a -> b) -> a -> b |
Semigroup (Either a b) | |
Instance detailsDefined in 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 (V1 p) | |
Instance detailsDefined in GHC.Generics Methods (<>) :: V1 p -> V1 p -> V1 p # sconcat :: NonEmpty (V1 p) -> V1 p stimes :: Integral b => b -> V1 p -> V1 p |
Semigroup (U1 p) | |
Instance detailsDefined in GHC.Generics Methods (<>) :: U1 p -> U1 p -> U1 p # sconcat :: NonEmpty (U1 p) -> U1 p stimes :: Integral b => b -> U1 p -> U1 p |
(Semigroup a, Semigroup b) => Semigroup (a, b) | |
Instance detailsDefined in GHC.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 (ST s a) | |
Instance detailsDefined in GHC.ST Methods (<>) :: ST s a -> ST s a -> ST s a # sconcat :: NonEmpty (ST s a) -> ST s a stimes :: Integral b => b -> ST s a -> ST s a |
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 (Proxy s) | |
Instance detailsDefined in Data.Proxy Methods (<>) :: Proxy s -> Proxy s -> Proxy s # sconcat :: NonEmpty (Proxy s) -> Proxy s stimes :: Integral b => b -> Proxy s -> Proxy s |
Monad m => Semigroup (ListT m a) Source # | |
Instance detailsDefined in Agda.Utils.ListT |
(Eq k, Hashable k) => Semigroup (HashMap k v) | |
Instance detailsDefined in Data.HashMap.Base 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 |
Semigroup (Using' n m) Source # | |
Instance detailsDefined in Agda.Syntax.Common |
(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 a) => Semigroup (PureConversionT m a) Source # | |
Instance detailsDefined in Agda.TypeChecking.Conversion.Pure |
Semigroup (Parser i a) | |
Instance detailsDefined in Data.Attoparsec.Internal.Types Methods (<>) :: Parser i a -> Parser i a -> Parser i a # sconcat :: NonEmpty (Parser i a) -> Parser i a stimes :: Integral b => b -> Parser i a -> Parser i a |
Semigroup (f p) => Semigroup (Rec1 f p) | |
Instance detailsDefined in GHC.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 b, Semigroup c) => Semigroup (a, b, c) | |
Instance detailsDefined in GHC.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 a => Semigroup (Const a b) | |
Instance detailsDefined in 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 |
Alternative f => Semigroup (Alt f a) | |
Instance detailsDefined in 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 |
(Applicative f, Semigroup a) => Semigroup (Ap f a) | |
Instance detailsDefined in Data.Monoid Methods (<>) :: Ap f a -> Ap f a -> Ap f a # sconcat :: NonEmpty (Ap f a) -> Ap f a stimes :: Integral b => b -> Ap f a -> Ap f a |
Applicative m => Semigroup (ReaderT s m Doc) Source # | |
Instance detailsDefined in Agda.TypeChecking.Warnings |
Monad m => Semigroup (StateT s m Doc) Source # | |
Instance detailsDefined in Agda.TypeChecking.Warnings |
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 |
Semigroup c => Semigroup (K1 i c p) | |
Instance detailsDefined in GHC.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 (f p), Semigroup (g p)) => Semigroup ((f :*: g) p) | |
Instance detailsDefined in GHC.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 a, Semigroup b, Semigroup c, Semigroup d) => Semigroup (a, b, c, d) | |
Instance detailsDefined in GHC.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) |
(Applicative m, Semigroup c) => Semigroup (FreeT a b m c) Source # | |
Instance detailsDefined in Agda.TypeChecking.Free.Lazy |
Semigroup (f p) => Semigroup (M1 i c f p) | |
Instance detailsDefined in GHC.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 (f (g p)) => Semigroup ((f :.: g) p) | |
Instance detailsDefined in GHC.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 a, Semigroup b, Semigroup c, Semigroup d, Semigroup e) => Semigroup (a, b, c, d, e) | |
Instance detailsDefined in GHC.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) |