Data.Container.Instances.Vector.Lazy

Documentation

failT2 :: (Monad m, Cond2 opt) => Proxy (Opt *) opt -> String -> m a

checkBounds2 :: MeasurableQM ([] *) ([] *) Identity t1 => Int -> t1 -> (String -> t) -> t -> t

checkBoundsM2 :: (Monad m, MeasurableQM ([] *) ([] *) Identity t, Cond2 opt) => Proxy (Opt *) opt -> Int -> t -> a -> m a

checkedBoundsIfM2 :: (Monad m, MeasurableQM ([] *) ([] *) Identity t, Cond2 opt, Cond2 opt1) => Proxy (Opt *) opt -> Proxy (Opt *) opt1 -> Int -> t -> a -> m a

checkedIfM2 :: (Monad m, Cond2 opt) => Proxy (Opt *) opt -> (a -> m a) -> a -> m a

class Cond2 opt where

Methods

ifT2 :: Proxy opt -> a -> a -> a

Instances

Cond2 (N *)

Cond2 (P * a)