Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
c => Known (Dict c) Source # | |
Known (Proxy k a) Source # | |
(Known (Sing a1 a2), Known (Sing [a1] as)) => Known (Sing [a1] ((:) a1 a2 as)) Source # | |
Known (Sing [k] ([] k)) Source # | |
KnownNat n => Known (Sing Nat n) Source # | |
KnownSymbol s => Known (Sing Symbol s) Source # | |
(Known (Sing k2 a), Known (Sing k1 b)) => Known (Sing (k2, k1) ((,) k2 k1 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 # | |