futhark-0.9.1: An optimising compiler for a functional, array-oriented language.

Safe HaskellNone
LanguageHaskell2010

Futhark.Optimise.Fusion.TryFusion

Documentation

data TryFusion a Source #

Instances
Monad TryFusion Source # 
Instance details

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 Source # 
Instance details

Defined in Futhark.Optimise.Fusion.TryFusion

Methods

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

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

MonadFail TryFusion Source # 
Instance details

Defined in Futhark.Optimise.Fusion.TryFusion

Methods

fail :: String -> TryFusion a #

Applicative TryFusion Source # 
Instance details

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 Source # 
Instance details

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 Source # 
Instance details

Defined in Futhark.Optimise.Fusion.TryFusion

Methods

getNameSource :: TryFusion VNameSource Source #

putNameSource :: VNameSource -> TryFusion () Source #

LocalScope SOACS TryFusion Source # 
Instance details

Defined in Futhark.Optimise.Fusion.TryFusion

Methods

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

HasScope SOACS TryFusion Source # 
Instance details

Defined in Futhark.Optimise.Fusion.TryFusion

Methods

lookupType :: VName -> TryFusion Type Source #

lookupInfo :: VName -> TryFusion (NameInfo SOACS) Source #

askScope :: TryFusion (Scope SOACS) Source #

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

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

liftMaybe :: Maybe a -> TryFusion a Source #