Data.HList.FakePrelude.Proxy

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

data Proxy tp

Instances

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)

proxy :: Proxy tp