Safe Haskell	None
Language	Haskell2010

Haskus.Utils.Types.Proxy

Synopsis

module Data.Proxy
data NatVal (t :: Nat) = NatVal
data Proxy# :: forall k0. k0 -> TYPE (TupleRep ([] :: [RuntimeRep]))

Documentation

module Data.Proxy

data NatVal (t :: Nat) Source #

A natural value Proxy

Constructors

NatVal

Instances

KnownNat t => Show (NatVal t) Source #
Instance details Defined in Haskus.Utils.Types.Proxy Methods showsPrec :: Int -> NatVal t -> ShowS # show :: NatVal t -> String # showList :: [NatVal t] -> ShowS #

data Proxy# :: forall k0. k0 -> TYPE (TupleRep ([] :: [RuntimeRep])) #

The type constructor Proxy# is used to bear witness to some type variable. It's used when you want to pass around proxy values for doing things like modelling type applications. A Proxy# is not only unboxed, it also has a polymorphic kind, and has no runtime representation, being totally free.