Futhark.Analysis.HORep.MapNest

Documentation

data Nesting lore

Constructors

Nesting

Fields

• nestingParamNames :: [VName]
• nestingResult :: [VName]
• nestingReturnType :: [Type]
• nestingWidth :: SubExp

Instances

Eq (Nesting lore)

Defined in Futhark.Analysis.HORep.MapNest

Methods

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

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

Ord (Nesting lore)

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)

Defined in Futhark.Analysis.HORep.MapNest

Methods

showsPrec :: Int -> Nesting lore -> ShowS

show :: Nesting lore -> String

showList :: [Nesting lore] -> ShowS

data MapNest lore

Constructors

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

Instances

Decorations lore => Show (MapNest lore)

Defined in Futhark.Analysis.HORep.MapNest

Methods

showsPrec :: Int -> MapNest lore -> ShowS

show :: MapNest lore -> String

showList :: [MapNest lore] -> ShowS

typeOf :: MapNest lore -> [Type]

params :: MapNest lore -> [VName]

inputs :: MapNest lore -> [Input]

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

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

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