rebase-1.21.2: A more progressive alternative to the "base" package

Safe Haskell	None
Language	Haskell2010

Rebase.Data.Vector.Fusion.Util

Synopsis

data Box a = Box {
- unBox :: a
}
newtype Id a = Id {
- unId :: a
}
liftBox :: Monad m => Box a -> m a
delay_inline :: (a -> b) -> a -> b
delayed_min :: Int -> Int -> Int

Documentation

data Box a #

Box monad

Constructors

Box
Fields unBox :: a

Instances

Instances details

Applicative Box
Instance details Defined in Data.Stream.Monadic Methods pure :: a -> Box a # (<>) :: Box (a -> b) -> Box a -> Box b # liftA2 :: (a -> b -> c) -> Box a -> Box b -> Box c # (>) :: Box a -> Box b -> Box b # (<*) :: Box a -> Box b -> Box a #
Functor Box
Instance details Defined in Data.Stream.Monadic Methods fmap :: (a -> b) -> Box a -> Box b # (<$) :: a -> Box b -> Box a #
Monad Box
Instance details Defined in Data.Stream.Monadic Methods (>>=) :: Box a -> (a -> Box b) -> Box b # (>>) :: Box a -> Box b -> Box b # return :: a -> Box a #

newtype Id a #

Constructors

Id
Fields unId :: a

Instances

Instances details

Applicative Id
Instance details Defined in Data.Vector.Fusion.Util Methods pure :: a -> Id a # (<>) :: Id (a -> b) -> Id a -> Id b # liftA2 :: (a -> b -> c) -> Id a -> Id b -> Id c # (>) :: Id a -> Id b -> Id b # (<*) :: Id a -> Id b -> Id a #
Functor Id
Instance details Defined in Data.Vector.Fusion.Util Methods fmap :: (a -> b) -> Id a -> Id b # (<$) :: a -> Id b -> Id a #
Monad Id
Instance details Defined in Data.Vector.Fusion.Util Methods (>>=) :: Id a -> (a -> Id b) -> Id b # (>>) :: Id a -> Id b -> Id b # return :: a -> Id a #

liftBox :: Monad m => Box a -> m a #

delay_inline :: (a -> b) -> a -> b #

delayed_min :: Int -> Int -> Int #