{-# language Trustworthy #-}

module Vector (fromList, toList, mapMaybe) where

import Data.Maybe (Maybe)

import Data.Vector (Vector)
import qualified Data.Vector as V

fromList :: [a] -> Vector a
fromList :: [a] -> Vector a
fromList = [a] -> Vector a
forall a. [a] -> Vector a
V.fromList

toList :: Vector a -> [a]
toList :: Vector a -> [a]
toList = Vector a -> [a]
forall a. Vector a -> [a]
V.toList

mapMaybe :: (a -> Maybe b) -> Vector a -> Vector b
mapMaybe :: (a -> Maybe b) -> Vector a -> Vector b
mapMaybe = (a -> Maybe b) -> Vector a -> Vector b
forall a b. (a -> Maybe b) -> Vector a -> Vector b
V.mapMaybe