unison-runtime-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Unison.Runtime.Vector

Documentation

data Vec a where Source #

Constructors

Scalar :: a -> Vec a 
Vec :: Unbox a => Vector a -> Vec a 
Pair :: Vec a -> Vec b -> Vec (a, b) 
Choose :: Vec Bool -> Vec a -> Vec a -> Vec a 
Mux :: 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 #