Type.Promotion

Deprecated: Use Type.Known instead

Documentation

class Known (t :: k) (val :: *) where

Minimal complete definition

typeVal

Methods

typeVal :: Proxy t -> val

Instances

(~) * val Bool => Known Bool False val

Methods

typeVal :: Proxy False val -> val

(~) * val Bool => Known Bool True val

Methods

typeVal :: Proxy True val -> val

(Num i, KnownNat t) => Known Nat t i

Methods

typeVal :: Proxy t i -> val

(~) * val (Maybe a2) => Known (Maybe a1) (Nothing a1) val

Methods

typeVal :: Proxy (Nothing a1) val -> val

Known [k] ([] k) [a]

Methods

typeVal :: Proxy [k] [a] -> val

((~) * val (Maybe a2), Known a1 t a2) => Known (Maybe a1) (Just a1 t) val

Methods

typeVal :: Proxy (Just a1 t) val -> val

(Known a1 t a2, Known [a1] ts [a2]) => Known [a1] ((:) a1 t ts) [a2]

Methods

typeVal :: Proxy ((a1 ': t) ts) [a2] -> val

((~) * val (Either l r), Known b t r) => Known (Either a b) (Right a b t) val

Methods

typeVal :: Proxy (Right a b t) val -> val

((~) * val (Either l r), Known a t l) => Known (Either a b) (Left a b t) val

Methods

typeVal :: Proxy (Left a b t) val -> val

class KnownNats (nats :: [Nat]) where

Minimal complete definition

natVals

Methods

natVals :: Proxy nats -> [Integer]

Instances

KnownNats ([] Nat)

Methods

natVals :: Proxy [Nat] [Nat] -> [Integer]

(KnownNat n, KnownNats ns) => KnownNats ((:) Nat n ns)

Methods

natVals :: Proxy [Nat] ((Nat ': n) ns) -> [Integer]