Futhark.Optimise.Fusion.TryFusion

Documentation

data TryFusion a

Instances

Monad TryFusion

Defined in Futhark.Optimise.Fusion.TryFusion

Methods

(>>=) :: TryFusion a -> (a -> TryFusion b) -> TryFusion b

(>>) :: TryFusion a -> TryFusion b -> TryFusion b

return :: a -> TryFusion a

fail :: String -> TryFusion a

Functor TryFusion

Defined in Futhark.Optimise.Fusion.TryFusion

Methods

fmap :: (a -> b) -> TryFusion a -> TryFusion b

(<$) :: a -> TryFusion b -> TryFusion a

MonadFail TryFusion

Defined in Futhark.Optimise.Fusion.TryFusion

Methods

fail :: String -> TryFusion a

Applicative TryFusion

Defined in Futhark.Optimise.Fusion.TryFusion

Methods

pure :: a -> TryFusion a

(<*>) :: TryFusion (a -> b) -> TryFusion a -> TryFusion b

liftA2 :: (a -> b -> c) -> TryFusion a -> TryFusion b -> TryFusion c

(*>) :: TryFusion a -> TryFusion b -> TryFusion b

(<*) :: TryFusion a -> TryFusion b -> TryFusion a

Alternative TryFusion

Defined in Futhark.Optimise.Fusion.TryFusion

Methods

empty :: TryFusion a

(<|>) :: TryFusion a -> TryFusion a -> TryFusion a

some :: TryFusion a -> TryFusion [a]

many :: TryFusion a -> TryFusion [a]

MonadFreshNames TryFusion

Defined in Futhark.Optimise.Fusion.TryFusion

Methods

getNameSource :: TryFusion VNameSource

putNameSource :: VNameSource -> TryFusion ()

LocalScope SOACS TryFusion

Defined in Futhark.Optimise.Fusion.TryFusion

Methods

localScope :: Scope SOACS -> TryFusion a -> TryFusion a

HasScope SOACS TryFusion

Defined in Futhark.Optimise.Fusion.TryFusion

Methods

lookupType :: VName -> TryFusion Type

lookupInfo :: VName -> TryFusion (NameInfo SOACS)

askScope :: TryFusion (Scope SOACS)

asksScope :: (Scope SOACS -> a) -> TryFusion a

tryFusion :: MonadFreshNames m => TryFusion a -> Scope SOACS -> m (Maybe a)

liftMaybe :: Maybe a -> TryFusion a