Safe Haskell | None |
---|
Control.Proxy.Vector
Documentation
toVectorD :: (PrimMonad m, Proxy p, MVector v e) => () -> Consumer (StateP (ToVectorState v m e) p) e m rSource
runToVectorK :: (PrimMonad m, Unbox e, Monad (p a' a b' b m), Proxy p, MonadTrans (p a' a b' b)) => (q -> StateP (ToVectorState MVector m e) p a' a b' b m r) -> q -> p a' a b' b m (Vector e)Source
runToVectorP :: (PrimMonad m, Unbox e, Monad (p a' a b' b m), Proxy p, MonadTrans (p a' a b' b)) => StateP (ToVectorState MVector m e) p a' a b' b m r -> p a' a b' b m (Vector e)Source