Data.Vector.Fusion.Util

Fusion-related utility types

Documentation

newtype Id a

Identity monad

Constructors

Id

Fields

unId :: a

Instances

Monad Id

Functor Id

Applicative Id

Eq a => Eq (Stream Id a)

Ord a => Ord (Stream Id a)

data Box a

Box monad

Constructors

Box

Fields

unBox :: a

Instances

Monad Box

Functor Box

Applicative Box

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

Delay inlining a function until late in the game (simplifier phase 0).

delayed_min :: Int -> Int -> Int

min inlined in phase 0