| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Camfort.Helpers.Vec
- data Nat
- data Natural n where
- data NatBox where
- toNatBox :: Int -> NatBox
- class IsNatural n where
- data Vec n a where
- length :: Vec n a -> Int
- lengthN :: Vec n a -> Natural n
- zipWith :: (a -> b -> c) -> Vec n a -> Vec n b -> Vec n c
- zip :: Vec n a -> Vec n b -> Vec n (a, b)
- findIndex :: (a -> Bool) -> Vec n a -> Maybe Int
- (!!) :: Vec n a -> Int -> a
- replace :: Int -> a -> Vec n a -> Vec n a
- data EqT a b where
- data ExistsEqT t n where
- data VecBox a where
- fromList :: [a] -> VecBox a
- toList :: Vec n a -> [a]
- applyListOp :: ([a] -> [a]) -> Vec n a -> Vec n a
- proveEqSize :: Vec n a -> Vec m b -> Maybe (EqT m n)
- proveNonEmpty :: Vec n a -> Maybe (ExistsEqT S n)
- hasSize :: Vec m a -> Natural n -> Maybe (EqT m n)
- data VecList a where
- fromLists :: forall a. [[a]] -> VecList a