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

Futhark.Analysis.HORep.MapNest

Documentation

data Nesting rep Source #

Instances

Instances details
Eq (Nesting rep) Source # 
Instance details

Defined in Futhark.Analysis.HORep.MapNest

Methods

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

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

Ord (Nesting rep) Source # 
Instance details

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

Defined in Futhark.Analysis.HORep.MapNest

Methods

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

show :: Nesting rep -> String #

showList :: [Nesting rep] -> ShowS #

data MapNest rep Source #

Constructors

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

Instances

Instances details
RepTypes rep => Show (MapNest rep) Source # 
Instance details

Defined in Futhark.Analysis.HORep.MapNest

Methods

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

show :: MapNest rep -> String #

showList :: [MapNest rep] -> ShowS #

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

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

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

toSOAC :: (MonadFreshNames m, HasScope rep m, Buildable rep, BuilderOps rep, Op rep ~ SOAC rep) => MapNest rep -> m (SOAC rep) Source #