unison-runtime-0.0.0
Safe HaskellNone
LanguageHaskell2010

Unison.Runtime.Vector

Documentation

data Vec a where Source #

Constructors

Scalar :: forall a. a -> Vec a 
Vec :: forall a. Unbox a => Vector a -> Vec a 
Pair :: forall a1 b. Vec a1 -> Vec b -> Vec (a1, b) 
Choose :: forall a. Vec Bool -> Vec a -> Vec a -> Vec a 
Mux :: forall a. Vec Nat -> Vec (Vec a) -> Vec a 

type Nat = Word64 Source #

mu :: Vec a -> Nat -> Maybe a Source #

bound :: Nat -> Vec a -> Nat Source #

toList :: Vec a -> [a] Source #