Futhark.Analysis.HORep.MapNest

Documentation

data Nesting rep

Constructors

Nesting

Fields

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

Instances

Eq (Nesting rep)

Defined in Futhark.Analysis.HORep.MapNest

Methods

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

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

Ord (Nesting rep)

Defined in Futhark.Analysis.HORep.MapNest

Methods

compare :: Nesting rep -> Nesting rep -> Ordering

(<) :: Nesting rep -> Nesting rep -> Bool

(<=) :: Nesting rep -> Nesting rep -> Bool

(>) :: Nesting rep -> Nesting rep -> Bool

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

max :: Nesting rep -> Nesting rep -> Nesting rep

min :: Nesting rep -> Nesting rep -> Nesting rep

Show (Nesting rep)

Defined in Futhark.Analysis.HORep.MapNest

Methods

showsPrec :: Int -> Nesting rep -> ShowS

show :: Nesting rep -> String

showList :: [Nesting rep] -> ShowS

data MapNest rep

Constructors

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

Instances

RepTypes rep => Show (MapNest rep)

Defined in Futhark.Analysis.HORep.MapNest

Methods

showsPrec :: Int -> MapNest rep -> ShowS

show :: MapNest rep -> String

showList :: [MapNest rep] -> ShowS

typeOf :: MapNest rep -> [Type]

params :: MapNest rep -> [VName]

inputs :: MapNest rep -> [Input]

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

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

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