Safe Haskell | Safe-Inferred |
---|
Injection from algebraic kinds to *
Algebraic kinds like Nat are not populated and we can't use values of type Nat as function arguments. In contrast, we can use (undefined :: Proxy Z) as an argument, as a value proxy. data Proxy (tp :: k) :: *
re-exports Proxy
if it exists
Documentation
HLookupByHNat n l => Apply (FHLookupByHNat l) (Proxy HNat n) | |
Show (Proxy Bool False) | |
Show (Proxy Bool True) | |
HNat2Integral n => Show (Proxy HNat n) | |
Apply (FHUProj sel ns) (HList l, Proxy HNat (HSucc n)) => Apply (Proxy Bool False, FHUProj sel ns) (HList (: * e l), Proxy HNat n) | |
Apply (Proxy Bool True, FHUProj sel ns) (HList (: * e l), Proxy HNat n) | |
(~ * ch (Proxy Bool (HBoolEQ sel (KMember n ns))), Apply (ch, FHUProj sel ns) (HList (: * e l), Proxy HNat n)) => Apply (FHUProj sel ns) (HList (: * e l), Proxy HNat n) | |
HSplit l => HSplit (: * (e, Proxy Bool False) l) | |
HSplit l => HSplit (: * (e, Proxy Bool True) l) |