Type.Promotion

Deprecated: Use Type.Known instead

Documentation

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

Methods

typeVal :: Proxy t -> val

Instances

val ~ Bool => Known False val

Defined in Type.Promotion

Methods

typeVal :: Proxy False -> val

val ~ Bool => Known True val

Defined in Type.Promotion

Methods

typeVal :: Proxy True -> val

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

Defined in Type.Promotion

Methods

typeVal :: Proxy t -> i

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

Defined in Type.Promotion

Methods

typeVal :: Proxy Nothing -> val

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

Defined in Type.Promotion

Methods

typeVal :: Proxy [] -> [a]

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

Defined in Type.Promotion

Methods

typeVal :: Proxy (Just t) -> val

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

Defined in Type.Promotion

Methods

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

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

Defined in Type.Promotion

Methods

typeVal :: Proxy (Right t) -> val

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

Defined in Type.Promotion

Methods

typeVal :: Proxy (Left t) -> val

class KnownNats (nats :: [Nat]) where

Methods

natVals :: Proxy nats -> [Integer]

Instances

KnownNats ([] :: [Nat])

Defined in Type.Promotion

Methods

natVals :: Proxy [] -> [Integer]

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

Defined in Type.Promotion

Methods

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