dahdit-0.1.3: 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 #

proxyForFun :: (a -> x) -> Proxy a Source #

proxyForNatF :: forall (n :: Nat) f. f n -> Proxy n Source #