Copyright	(C) 2013 Richard Eisenberg
License	BSD-style (see LICENSE)
Maintainer	Ryan Scott
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	GHC2021

Data.Singletons.Base.SomeSing

Contents

Orphan instances

Description

Provides the SomeSing data type along with instances of Eq, Ord, etc., which are defined as orphans due to SomeSing originally being defined in a separate library (singletons).

Documentation

data SomeSing k where #

Constructors

SomeSing :: forall k (a :: k). Sing a -> SomeSing k

Instances

Instances details

SIsString k => IsString (SomeSing k) Source #
Instance details Defined in Data.Singletons.Base.SomeSing Methods fromString :: String -> SomeSing k #
SMonoid k => Monoid (SomeSing k) Source #
Instance details Defined in Data.Singletons.Base.SomeSing Methods mempty :: SomeSing k # mappend :: SomeSing k -> SomeSing k -> SomeSing k # mconcat :: [SomeSing k] -> SomeSing k #
SSemigroup k => Semigroup (SomeSing k) Source #
Instance details Defined in Data.Singletons.Base.SomeSing Methods (<>) :: SomeSing k -> SomeSing k -> SomeSing k # sconcat :: NonEmpty (SomeSing k) -> SomeSing k # stimes :: Integral b => b -> SomeSing k -> SomeSing k #
SBounded k => Bounded (SomeSing k) Source #
Instance details Defined in Data.Singletons.Base.SomeSing Methods minBound :: SomeSing k # maxBound :: SomeSing k #
SEnum k => Enum (SomeSing k) Source #
Instance details Defined in Data.Singletons.Base.SomeSing Methods succ :: SomeSing k -> SomeSing k # pred :: SomeSing k -> SomeSing k # toEnum :: Int -> SomeSing k # fromEnum :: SomeSing k -> Int # enumFrom :: SomeSing k -> [SomeSing k] # enumFromThen :: SomeSing k -> SomeSing k -> [SomeSing k] # enumFromTo :: SomeSing k -> SomeSing k -> [SomeSing k] # enumFromThenTo :: SomeSing k -> SomeSing k -> SomeSing k -> [SomeSing k] #
SNum k => Num (SomeSing k) Source #
Instance details Defined in Data.Singletons.Base.SomeSing Methods (+) :: SomeSing k -> SomeSing k -> SomeSing k # (-) :: SomeSing k -> SomeSing k -> SomeSing k # (*) :: SomeSing k -> SomeSing k -> SomeSing k # negate :: SomeSing k -> SomeSing k # abs :: SomeSing k -> SomeSing k # signum :: SomeSing k -> SomeSing k # fromInteger :: Integer -> SomeSing k #
ShowSing k => Show (SomeSing k) Source #
Instance details Defined in Data.Singletons.Base.SomeSing Methods showsPrec :: Int -> SomeSing k -> ShowS # show :: SomeSing k -> String # showList :: [SomeSing k] -> ShowS #
SEq k => Eq (SomeSing k) Source #
Instance details Defined in Data.Singletons.Base.SomeSing Methods (==) :: SomeSing k -> SomeSing k -> Bool # (/=) :: SomeSing k -> SomeSing k -> Bool #
SOrd k => Ord (SomeSing k) Source #
Instance details Defined in Data.Singletons.Base.SomeSing Methods compare :: SomeSing k -> SomeSing k -> Ordering # (<) :: SomeSing k -> SomeSing k -> Bool # (<=) :: SomeSing k -> SomeSing k -> Bool # (>) :: SomeSing k -> SomeSing k -> Bool # (>=) :: SomeSing k -> SomeSing k -> Bool # max :: SomeSing k -> SomeSing k -> SomeSing k # min :: SomeSing k -> SomeSing k -> SomeSing k #

Orphan instances

SIsString k => IsString (SomeSing k) Source #
Instance details Methods fromString :: String -> SomeSing k #
SMonoid k => Monoid (SomeSing k) Source #
Instance details Methods mempty :: SomeSing k # mappend :: SomeSing k -> SomeSing k -> SomeSing k # mconcat :: [SomeSing k] -> SomeSing k #
SSemigroup k => Semigroup (SomeSing k) Source #
Instance details Methods (<>) :: SomeSing k -> SomeSing k -> SomeSing k # sconcat :: NonEmpty (SomeSing k) -> SomeSing k # stimes :: Integral b => b -> SomeSing k -> SomeSing k #
SBounded k => Bounded (SomeSing k) Source #
Instance details Methods minBound :: SomeSing k # maxBound :: SomeSing k #
SEnum k => Enum (SomeSing k) Source #
Instance details Methods succ :: SomeSing k -> SomeSing k # pred :: SomeSing k -> SomeSing k # toEnum :: Int -> SomeSing k # fromEnum :: SomeSing k -> Int # enumFrom :: SomeSing k -> [SomeSing k] # enumFromThen :: SomeSing k -> SomeSing k -> [SomeSing k] # enumFromTo :: SomeSing k -> SomeSing k -> [SomeSing k] # enumFromThenTo :: SomeSing k -> SomeSing k -> SomeSing k -> [SomeSing k] #
SNum k => Num (SomeSing k) Source #
Instance details Methods (+) :: SomeSing k -> SomeSing k -> SomeSing k # (-) :: SomeSing k -> SomeSing k -> SomeSing k # (*) :: SomeSing k -> SomeSing k -> SomeSing k # negate :: SomeSing k -> SomeSing k # abs :: SomeSing k -> SomeSing k # signum :: SomeSing k -> SomeSing k # fromInteger :: Integer -> SomeSing k #
ShowSing k => Show (SomeSing k) Source #
Instance details Methods showsPrec :: Int -> SomeSing k -> ShowS # show :: SomeSing k -> String # showList :: [SomeSing k] -> ShowS #
SEq k => Eq (SomeSing k) Source #
Instance details Methods (==) :: SomeSing k -> SomeSing k -> Bool # (/=) :: SomeSing k -> SomeSing k -> Bool #
SOrd k => Ord (SomeSing k) Source #
Instance details Methods compare :: SomeSing k -> SomeSing k -> Ordering # (<) :: SomeSing k -> SomeSing k -> Bool # (<=) :: SomeSing k -> SomeSing k -> Bool # (>) :: SomeSing k -> SomeSing k -> Bool # (>=) :: SomeSing k -> SomeSing k -> Bool # max :: SomeSing k -> SomeSing k -> SomeSing k # min :: SomeSing k -> SomeSing k -> SomeSing k #