Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data Const (n :: Nat) t Source #
A type level wrapper around the equivalent of the pure . const
descriptor.
Safe Haskell | None |
---|---|
Language | Haskell2010 |
data Const (n :: Nat) t Source #
A type level wrapper around the equivalent of the pure . const
descriptor.