Safe Haskell | None |
---|

- data AVec a
- mkAVec :: Ord a => [a] -> AVec a
- data AVec2 a b
- mkAVec2 :: Ord a => [(a, b)] -> AVec2 a b
- data X o t
- type Xs o t = Vector (X o t)
- mkX :: (Ord o, Ord t) => [o] -> [t] -> X o t
- unX :: X o t -> [o]
- unR :: X o t -> [t]
- lbAt :: X o t -> LbIx -> t
- data Y t
- type Ys t = Vector (Y t)
- mkY :: Ord t => [(t, Double)] -> Y t
- unY :: Y t -> [(t, Double)]
- type LbIx = Int

# Documentation

mkAVec :: Ord a => [a] -> AVec aSource

Smart AVec constructor which ensures that the underlying vector is strictly ascending.

mkAVec2 :: Ord a => [(a, b)] -> AVec2 a bSource

Smart AVec constructor which ensures that the underlying vector is strictly ascending with respect to fst values.

A word represented by a list of its observations and a list of its potential label interpretations.