dahdit-0.5.1: Binary parsing and serialization with integrated size
Safe HaskellSafe-Inferred
LanguageHaskell2010

Dahdit.Proxy

Documentation

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 #