word-vector-0.1.0.0: Initial project template from stack

Safe HaskellNone
LanguageHaskell2010

Data.Vector.Coerce.Word

Documentation

downcast :: (CmpWord a b ~ GT, Storable a, Storable b) => Vector a -> Vector b Source

upcast :: (CmpWord a b ~ LT, Storable a, Storable b) => Vector a -> Vector b Source

upcast' :: forall a b. (CmpWord a b ~ LT, Storable a, Storable b) => Vector a -> (Vector b, Vector a) Source

type family CmpWord a b :: Ordering Source

Equations

CmpWord Word8 Word8 = EQ 
CmpWord Word8 Word16 = LT 
CmpWord Word8 Word32 = LT 
CmpWord Word8 Word64 = LT 
CmpWord Word16 Word8 = GT 
CmpWord Word16 Word16 = EQ 
CmpWord Word16 Word32 = LT 
CmpWord Word16 Word64 = LT 
CmpWord Word32 Word8 = GT 
CmpWord Word32 Word16 = GT 
CmpWord Word32 Word32 = EQ 
CmpWord Word32 Word64 = LT 
CmpWord Word64 Word8 = GT 
CmpWord Word64 Word16 = GT 
CmpWord Word64 Word32 = GT 
CmpWord Word64 Word64 = EQ