Data.Vector.HFixed.TypeFuns

Type proxy

data Proxy k t

proxy

unproxy

Type functions

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

type family Len (xs :: [α]) :: *

type family Head (xs :: [α]) :: α

type family HomList n (a :: α) :: [α]

type family Wrap (f :: α -> β) (a :: [α]) :: [β]