Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
c => Known (Dict c) Source # | |
Known (Proxy k a) Source # | |
(Known (Sing a a1), Known (Sing [a] as)) => Known (Sing [a] ((:) a a1 as)) Source # | |
Known (Sing [k] ([] k)) Source # | |
KnownNat n => Known (Sing Nat n) Source # | |
KnownSymbol s => Known (Sing Symbol s) Source # | |
(Known (Sing k1 a), Known (Sing k b)) => Known (Sing (k1, k) ((,) k1 k a b)) Source # | |
(KnownSymbol k, Known (Sing Symbol k)) => Known (Sing PathSegment (Key k)) Source # | |
(KnownNat n, Known (Sing Nat n)) => Known (Sing PathSegment (Ix n)) Source # | |
(Known (Sing u a), Known (Rec u (Sing u) tl)) => Known (Rec u (Sing u) ((:) u a tl)) Source # | |
Known (Rec u (Sing u) ([] u)) Source # | |