futhark-0.17.1: An optimising compiler for a functional, array-oriented language.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Futhark.Analysis.HORep.MapNest

Documentation

data Nesting lore Source #

Instances

Instances details
Eq (Nesting lore) Source # 
Instance details

Defined in Futhark.Analysis.HORep.MapNest

Methods

(==) :: Nesting lore -> Nesting lore -> Bool #

(/=) :: Nesting lore -> Nesting lore -> Bool #

Ord (Nesting lore) Source # 
Instance details

Defined in Futhark.Analysis.HORep.MapNest

Methods

compare :: Nesting lore -> Nesting lore -> Ordering #

(<) :: Nesting lore -> Nesting lore -> Bool #

(<=) :: Nesting lore -> Nesting lore -> Bool #

(>) :: Nesting lore -> Nesting lore -> Bool #

(>=) :: Nesting lore -> Nesting lore -> Bool #

max :: Nesting lore -> Nesting lore -> Nesting lore #

min :: Nesting lore -> Nesting lore -> Nesting lore #

Show (Nesting lore) Source # 
Instance details

Defined in Futhark.Analysis.HORep.MapNest

Methods

showsPrec :: Int -> Nesting lore -> ShowS #

show :: Nesting lore -> String #

showList :: [Nesting lore] -> ShowS #

data MapNest lore Source #

Constructors

MapNest SubExp (Lambda lore) [Nesting lore] [Input] 

Instances

Instances details
Decorations lore => Show (MapNest lore) Source # 
Instance details

Defined in Futhark.Analysis.HORep.MapNest

Methods

showsPrec :: Int -> MapNest lore -> ShowS #

show :: MapNest lore -> String #

showList :: [MapNest lore] -> ShowS #

typeOf :: MapNest lore -> [Type] Source #

params :: MapNest lore -> [VName] Source #

inputs :: MapNest lore -> [Input] Source #

setInputs :: [Input] -> MapNest lore -> MapNest lore Source #

fromSOAC :: (Bindable lore, MonadFreshNames m, LocalScope lore m, Op lore ~ SOAC lore) => SOAC lore -> m (Maybe (MapNest lore)) Source #

toSOAC :: (MonadFreshNames m, HasScope lore m, Bindable lore, BinderOps lore, Op lore ~ SOAC lore) => MapNest lore -> m (SOAC lore) Source #