Data.Vector.HFixed.TypeFuns

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 a

Constructors

Proxy

proxy :: t -> Proxy t

unproxy :: Proxy t -> t

Type functions

type family xs (++) ys :: [α]

Concaternation of type level lists.

type family Len xs :: *

Length of type list expressed as type level naturals from fixed-vector.

type family Head xs :: α

Head of type list

type family HomList n a :: [α]

Homogeneous type list with length n and element of type a. It uses type level natural defined in fixed-vector.

type family Wrap f a :: [β]

Wrap every element of list into type constructor