Safe Haskell | None |
---|---|
Language | Haskell98 |
Type functions
Type proxy
Starting from version 7.8 GHC provides kind-polymorphic proxy data type. In those versions Data.Typeable.Proxy is reexported. For GHC 7.6 we have to define our own Proxy data type.
data Proxy t :: k -> *
A concrete, poly-kinded proxy type
Monad (Proxy *) | |
Functor (Proxy *) | |
Applicative (Proxy *) | |
Vector (Proxy *) a | |
Bounded (Proxy k s) | |
Enum (Proxy k s) | |
Eq (Proxy k s) | |
Ord (Proxy k s) | |
Read (Proxy k s) | |
Show (Proxy k s) | |
Ix (Proxy k s) | |
Generic (Proxy * t) | |
Monoid (Proxy * s) | |
type Dim (Proxy *) = Z | |
type Rep (Proxy k t) = D1 D1Proxy (C1 C1_0Proxy U1) |
Type functions
type family Len xs :: * Source
Length of type list expressed as type level naturals from
fixed-vector
.