Safe Haskell | None |
---|---|
Language | Haskell2010 |
Deprecated: Use Type.Known instead
Documentation
class Known (t :: k) (val :: *) where Source #
(~) * val Bool => Known Bool False val Source # | |
(~) * val Bool => Known Bool True val Source # | |
(Num i, KnownNat t) => Known Nat t i Source # | |
(~) * val (Maybe a2) => Known (Maybe a1) (Nothing a1) val Source # | |
Known [k] ([] k) [a] Source # | |
((~) * val (Maybe a2), Known a1 t a2) => Known (Maybe a1) (Just a1 t) val Source # | |
(Known a1 t a2, Known [a1] ts [a2]) => Known [a1] ((:) a1 t ts) [a2] Source # | |
((~) * val (Either l r), Known b t r) => Known (Either a b) (Right a b t) val Source # | |
((~) * val (Either l r), Known a t l) => Known (Either a b) (Left a b t) val Source # | |