Type.Promotion

Documentation

class Known t val where

Methods

typeVal :: Proxy t -> val

Instances

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

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

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

(~) * val (Maybe a) => Known (Maybe k) (Nothing k) val

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

((~) * val (Maybe a), Known k t a) => Known (Maybe k) (Just k t) val

(Known k t a, Known [k] ts [a]) => Known [k] ((:) k t ts) [a]

((~) * val (Either l r), Known k1 t r) => Known (Either k k) (Right k k t) val

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