Data.Singletons

A small singleton core module

A trimmed down core version of the singletons library made for my use case or more specifically Hreq but still general enough for similar use cases.

Motivation

The singleton library has pretty long compile times which can be hard to justify when you are using only a small portion of it. It is also not backward compatible with previous GHC releases. So if you want to support earlier GHC releases in a library that depends on singletons, you are pretty much left to the mercy of CPP hacks and careful Cabal dependency configurations.

Attribution

Some of the code in this module was directly borrowed from the Singletons library

Sing Type family

type family Sing :: k -> Type

Instances

type Sing

Defined in Data.Singletons

type Sing = STypeRep

type Sing

Defined in Data.Singletons

type Sing = SNat

type Sing

Defined in Data.Singletons

type Sing = SSymbol

type Sing

Defined in Data.Singletons

type Sing = (SList :: [k] -> Type)

type Sing

Defined in Hreq.Core.API.Request

type Sing = SReqContent

type Sing

Defined in Hreq.Core.API.Response

type Sing = SResContent

type Sing

Defined in Hreq.Core.API.Internal

type Sing = SApi

type Sing

Defined in Data.Singletons

type Sing = (STuple2 :: (k1, k2) -> Type)

class SingI a where

Methods

sing :: Sing a

Instances

Typeable a => SingI (a :: Type)

Defined in Data.Singletons

Methods

sing :: Sing a

KnownNat a => SingI (a :: Nat)

Defined in Data.Singletons

Methods

sing :: Sing a

KnownSymbol a => SingI (a :: Symbol)

Defined in Data.Singletons

Methods

sing :: Sing a

SingI ([] :: [k])

Defined in Data.Singletons

Methods

sing :: Sing []

SingI ts => SingI (Params ts :: ReqContent Type)

Defined in Hreq.Core.API.Request

Methods

sing :: Sing (Params ts)

SingI ts => SingI (Captures ts :: ReqContent Type)

Defined in Hreq.Core.API.Request

Methods

sing :: Sing (Captures ts)

SingI a => SingI (CaptureAll a :: ReqContent Type)

Defined in Hreq.Core.API.Request

Methods

sing :: Sing (CaptureAll a)

SingI a => SingI (ReqHeaders a :: ReqContent Type)

Defined in Hreq.Core.API.Request

Methods

sing :: Sing (ReqHeaders a)

SingI ts => SingI (ResHeaders ts :: ResContent Type)

Defined in Hreq.Core.API.Response

Methods

sing :: Sing (ResHeaders ts)

SingI a => SingI (Raw a :: ResContent Type)

Defined in Hreq.Core.API.Response

Methods

sing :: Sing (Raw a)

SingI content => SingI (Req content :: Api Type)

Defined in Hreq.Core.API.Internal

Methods

sing :: Sing (Req content)

SingI content => SingI (Res content :: Api Type)

Defined in Hreq.Core.API.Internal

Methods

sing :: Sing (Res content)

(SingI x, SingI xs) => SingI (x ': xs :: [k])

Defined in Data.Singletons

Methods

sing :: Sing (x ': xs)

(SingI a, SingI s) => SingI (Path a s :: ReqContent Type)

Defined in Hreq.Core.API.Request

Methods

sing :: Sing (Path a s)

(SingI a, SingI ts) => SingI (QueryFlags a ts :: ReqContent Type)

Defined in Hreq.Core.API.Request

Methods

sing :: Sing (QueryFlags a ts)

(SingI a, SingI s) => SingI (BasicAuth a s :: ReqContent Type)

Defined in Hreq.Core.API.Request

Methods

sing :: Sing (BasicAuth a s)

(SingI a, SingI ctyp) => SingI (ReqBody ctyp a :: ReqContent Type)

Defined in Hreq.Core.API.Request

Methods

sing :: Sing (ReqBody ctyp a)

(SingI a, SingI ctyp) => SingI (StreamBody ctyp a :: ReqContent Type)

Defined in Hreq.Core.API.Request

Methods

sing :: Sing (StreamBody ctyp a)

(SingI ctyp, SingI a) => SingI (ResBody ctyp a :: ResContent Type)

Defined in Hreq.Core.API.Response

Methods

sing :: Sing (ResBody ctyp a)

(SingI a, SingI ctyp) => SingI (ResStream ctyp a :: ResContent Type)

Defined in Hreq.Core.API.Response

Methods

sing :: Sing (ResStream ctyp a)

(SingI a, SingI n) => SingI (ResStatus a n :: ResContent Type)

Defined in Hreq.Core.API.Response

Methods

sing :: Sing (ResStatus a n)

(SingI x, SingI y) => SingI ((,) x y :: (k1, k2))

Defined in Data.Singletons

Methods

sing :: Sing (x, y)

Type-lits

data SNat (n :: Nat)

Constructors

KnownNat n => SNat

data SSymbol (n :: Symbol)

Constructors

KnownSymbol n => SSym

withKnownNat :: Sing n -> (KnownNat n => r) -> r

Given a singleton for Nat, call something requiring a KnownNat instance.

withKnownSymbol :: Sing n -> (KnownSymbol n => r) -> r

Given a singleton for Symbol, call something requiring a KnownSymbol instance.

Lists

data SList :: [k] -> Type where

Constructors

SNil :: SList '[]

SCons :: forall k (h :: k) (t :: [k]). Sing h -> SList t -> SList (h ': t)

Tuples

data STuple2 (a :: (k1, k2)) where

Constructors

STuple2 :: Sing x -> Sing y -> STuple2 '(x, y)

TypeRep

data STypeRep :: Type -> Type where

Constructors

STypeRep :: forall (t :: Type). Typeable t => STypeRep t