singletons-base-3.1: A promoted and singled version of the base library
Copyright(C) 2013 Richard Eisenberg
LicenseBSD-style (see LICENSE)
MaintainerRyan Scott
Stabilityexperimental
Portabilitynon-portable
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Singletons.Base.SomeSing

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

SEnum k => Enum (SomeSing k) Source # 
Instance details

Defined in Data.Singletons.Base.SomeSing

SNum k => Num (SomeSing k) Source # 
Instance details

Defined in Data.Singletons.Base.SomeSing

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

SEnum k => Enum (SomeSing k) Source # 
Instance details

SNum k => Num (SomeSing k) Source # 
Instance details

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 #