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

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).

Synopsis

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

Documentation

data SomeSing k where #

An existentially-quantified singleton. This type is useful when you want a singleton type, but there is no way of knowing, at compile-time, what the type index will be. To make use of this type, you will generally have to use a pattern-match:

foo :: Bool -> ...
foo b = case toSing b of
          SomeSing sb -> {- fancy dependently-typed code with sb -}

An example like the one above may be easier to write using withSomeSing.

Constructors

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

Instances

Instances details

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] #
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 #
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 #
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 #
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 #
SIsString k => IsString (SomeSing k) Source #
Instance details Defined in Data.Singletons.Base.SomeSing Methods fromString :: String -> 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 #
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 #

Orphan instances

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] #
SEq k => Eq (SomeSing k) Source #
Instance details Methods (==) :: SomeSing k -> SomeSing k -> Bool # (/=) :: SomeSing k -> SomeSing k -> Bool #
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 #
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 #
ShowSing k => Show (SomeSing k) Source #
Instance details Methods showsPrec :: Int -> SomeSing k -> ShowS # show :: SomeSing k -> String # showList :: [SomeSing k] -> ShowS #
SIsString k => IsString (SomeSing k) Source #
Instance details Methods fromString :: String -> 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 #
SMonoid k => Monoid (SomeSing k) Source #
Instance details Methods mempty :: SomeSing k # mappend :: SomeSing k -> SomeSing k -> SomeSing k # mconcat :: [SomeSing k] -> SomeSing k #