Dahdit.Proxy
proxyFor :: a -> Proxy a Source #
proxyForF :: f a -> Proxy a Source #
proxyForRepF :: f t -> Rep t a -> Proxy (Rep t) Source #
proxyForFun :: (a -> x) -> Proxy a Source #
proxyForNatF :: forall (n :: Nat) f. f n -> Proxy n Source #