Safe Haskell	None
Language	Haskell2010

Futhark.Representation.Kernels

Contents

The Lore definition
Module re-exports

Description

A representation with flat parallelism via GPU-oriented kernels.

Synopsis

data Kernels
data InKernel
module Futhark.Representation.AST.Attributes
module Futhark.Representation.AST.Traversals
module Futhark.Representation.AST.Pretty
module Futhark.Representation.AST.Syntax
module Futhark.Representation.Kernels.Kernel
module Futhark.Representation.Kernels.KernelExp
module Futhark.Representation.Kernels.Sizes

The Lore definition

data Kernels Source #

Instances

Annotations Kernels Source #
Instance details Defined in Futhark.Representation.Kernels Associated Types type LetAttr Kernels :: Type Source # type ExpAttr Kernels :: Type Source # type BodyAttr Kernels :: Type Source # type FParamAttr Kernels :: Type Source # type LParamAttr Kernels :: Type Source # type RetType Kernels :: Type Source # type BranchType Kernels :: Type Source # type Op Kernels :: Type Source #
PrettyLore Kernels Source #
Instance details Defined in Futhark.Representation.Kernels Methods ppExpLore :: ExpAttr Kernels -> Exp Kernels -> Maybe Doc Source #
Attributes Kernels Source #
Instance details Defined in Futhark.Representation.Kernels Methods expTypesFromPattern :: (HasScope Kernels m, Monad m) => Pattern Kernels -> m [BranchType Kernels] Source #
Bindable Kernels Source #
Instance details Defined in Futhark.Representation.Kernels Methods mkExpPat :: [Ident] -> [Ident] -> Exp Kernels -> Pattern Kernels Source # mkExpAttr :: Pattern Kernels -> Exp Kernels -> ExpAttr Kernels Source # mkBody :: Stms Kernels -> Result -> Body Kernels Source # mkLetNames :: (MonadFreshNames m, HasScope Kernels m) => [VName] -> Exp Kernels -> m (Stm Kernels) Source #
BinderOps Kernels Source #
Instance details Defined in Futhark.Representation.Kernels Methods mkExpAttrB :: (MonadBinder m, Lore m ~ Kernels) => Pattern Kernels -> Exp Kernels -> m (ExpAttr Kernels) Source # mkBodyB :: (MonadBinder m, Lore m ~ Kernels) => Stms Kernels -> Result -> m (Body Kernels) Source # mkLetNamesB :: (MonadBinder m, Lore m ~ Kernels) => [VName] -> Exp Kernels -> m (Stm Kernels) Source #
Checkable Kernels Source #
Instance details Defined in Futhark.Representation.Kernels Methods checkExpLore :: ExpAttr Kernels -> TypeM Kernels () Source # checkBodyLore :: BodyAttr Kernels -> TypeM Kernels () Source # checkFParamLore :: VName -> FParamAttr Kernels -> TypeM Kernels () Source # checkLParamLore :: VName -> LParamAttr Kernels -> TypeM Kernels () Source # checkLetBoundLore :: VName -> LetAttr Kernels -> TypeM Kernels () Source # checkRetType :: [RetType Kernels] -> TypeM Kernels () Source # matchPattern :: Pattern (Aliases Kernels) -> Exp (Aliases Kernels) -> TypeM Kernels () Source # primFParam :: VName -> PrimType -> TypeM Kernels (FParam (Aliases Kernels)) Source # matchReturnType :: [RetType Kernels] -> Result -> TypeM Kernels () Source # matchBranchType :: [BranchType Kernels] -> Body (Aliases Kernels) -> TypeM Kernels () Source #
CheckableOp Kernels Source #
Instance details Defined in Futhark.Representation.Kernels Methods checkOp :: OpWithAliases (Op Kernels) -> TypeM Kernels () Source #
Scoped Kernels LoopNesting Source #
Instance details Defined in Futhark.Pass.ExtractKernels.Distribution Methods scopeOf :: LoopNesting -> Scope Kernels Source #
BinderOps (Wise Kernels) Source #
Instance details Defined in Futhark.Representation.Kernels.Simplify Methods mkExpAttrB :: (MonadBinder m, Lore m ~ Wise Kernels) => Pattern (Wise Kernels) -> Exp (Wise Kernels) -> m (ExpAttr (Wise Kernels)) Source # mkBodyB :: (MonadBinder m, Lore m ~ Wise Kernels) => Stms (Wise Kernels) -> Result -> m (Body (Wise Kernels)) Source # mkLetNamesB :: (MonadBinder m, Lore m ~ Wise Kernels) => [VName] -> Exp (Wise Kernels) -> m (Stm (Wise Kernels)) Source #
type LetAttr Kernels Source #
Instance details Defined in Futhark.Representation.Kernels type LetAttr Kernels = Type
type ExpAttr Kernels Source #
Instance details Defined in Futhark.Representation.Kernels type ExpAttr Kernels = ()
type BodyAttr Kernels Source #
Instance details Defined in Futhark.Representation.Kernels type BodyAttr Kernels = ()
type FParamAttr Kernels Source #
Instance details Defined in Futhark.Representation.Kernels type FParamAttr Kernels = DeclType
type LParamAttr Kernels Source #
Instance details Defined in Futhark.Representation.Kernels type LParamAttr Kernels = Type
type RetType Kernels Source #
Instance details Defined in Futhark.Representation.Kernels type RetType Kernels = DeclExtType
type BranchType Kernels Source #
Instance details Defined in Futhark.Representation.Kernels type BranchType Kernels = ExtType
type Op Kernels Source #
Instance details Defined in Futhark.Representation.Kernels type Op Kernels = Kernel InKernel

data InKernel Source #

Instances

Annotations InKernel Source #
Instance details Defined in Futhark.Representation.Kernels Associated Types type LetAttr InKernel :: Type Source # type ExpAttr InKernel :: Type Source # type BodyAttr InKernel :: Type Source # type FParamAttr InKernel :: Type Source # type LParamAttr InKernel :: Type Source # type RetType InKernel :: Type Source # type BranchType InKernel :: Type Source # type Op InKernel :: Type Source #
PrettyLore InKernel Source #
Instance details Defined in Futhark.Representation.Kernels Methods ppExpLore :: ExpAttr InKernel -> Exp InKernel -> Maybe Doc Source #
Attributes InKernel Source #
Instance details Defined in Futhark.Representation.Kernels Methods expTypesFromPattern :: (HasScope InKernel m, Monad m) => Pattern InKernel -> m [BranchType InKernel] Source #
Bindable InKernel Source #
Instance details Defined in Futhark.Representation.Kernels Methods mkExpPat :: [Ident] -> [Ident] -> Exp InKernel -> Pattern InKernel Source # mkExpAttr :: Pattern InKernel -> Exp InKernel -> ExpAttr InKernel Source # mkBody :: Stms InKernel -> Result -> Body InKernel Source # mkLetNames :: (MonadFreshNames m, HasScope InKernel m) => [VName] -> Exp InKernel -> m (Stm InKernel) Source #
BinderOps InKernel Source #
Instance details Defined in Futhark.Representation.Kernels Methods mkExpAttrB :: (MonadBinder m, Lore m ~ InKernel) => Pattern InKernel -> Exp InKernel -> m (ExpAttr InKernel) Source # mkBodyB :: (MonadBinder m, Lore m ~ InKernel) => Stms InKernel -> Result -> m (Body InKernel) Source # mkLetNamesB :: (MonadBinder m, Lore m ~ InKernel) => [VName] -> Exp InKernel -> m (Stm InKernel) Source #
Checkable InKernel Source #
Instance details Defined in Futhark.Representation.Kernels Methods checkExpLore :: ExpAttr InKernel -> TypeM InKernel () Source # checkBodyLore :: BodyAttr InKernel -> TypeM InKernel () Source # checkFParamLore :: VName -> FParamAttr InKernel -> TypeM InKernel () Source # checkLParamLore :: VName -> LParamAttr InKernel -> TypeM InKernel () Source # checkLetBoundLore :: VName -> LetAttr InKernel -> TypeM InKernel () Source # checkRetType :: [RetType InKernel] -> TypeM InKernel () Source # matchPattern :: Pattern (Aliases InKernel) -> Exp (Aliases InKernel) -> TypeM InKernel () Source # primFParam :: VName -> PrimType -> TypeM InKernel (FParam (Aliases InKernel)) Source # matchReturnType :: [RetType InKernel] -> Result -> TypeM InKernel () Source # matchBranchType :: [BranchType InKernel] -> Body (Aliases InKernel) -> TypeM InKernel () Source #
CheckableOp InKernel Source #
Instance details Defined in Futhark.Representation.Kernels Methods checkOp :: OpWithAliases (Op InKernel) -> TypeM InKernel () Source #
BinderOps (Wise InKernel) Source #
Instance details Defined in Futhark.Representation.Kernels.Simplify Methods mkExpAttrB :: (MonadBinder m, Lore m ~ Wise InKernel) => Pattern (Wise InKernel) -> Exp (Wise InKernel) -> m (ExpAttr (Wise InKernel)) Source # mkBodyB :: (MonadBinder m, Lore m ~ Wise InKernel) => Stms (Wise InKernel) -> Result -> m (Body (Wise InKernel)) Source # mkLetNamesB :: (MonadBinder m, Lore m ~ Wise InKernel) => [VName] -> Exp (Wise InKernel) -> m (Stm (Wise InKernel)) Source #
type LetAttr InKernel Source #
Instance details Defined in Futhark.Representation.Kernels type LetAttr InKernel = Type
type ExpAttr InKernel Source #
Instance details Defined in Futhark.Representation.Kernels type ExpAttr InKernel = ()
type BodyAttr InKernel Source #
Instance details Defined in Futhark.Representation.Kernels type BodyAttr InKernel = ()
type FParamAttr InKernel Source #
Instance details Defined in Futhark.Representation.Kernels type FParamAttr InKernel = DeclType
type LParamAttr InKernel Source #
Instance details Defined in Futhark.Representation.Kernels type LParamAttr InKernel = Type
type RetType InKernel Source #
Instance details Defined in Futhark.Representation.Kernels type RetType InKernel = DeclExtType
type BranchType InKernel Source #
Instance details Defined in Futhark.Representation.Kernels type BranchType InKernel = ExtType
type Op InKernel Source #
Instance details Defined in Futhark.Representation.Kernels type Op InKernel = KernelExp InKernel

Module re-exports

module Futhark.Representation.AST.Attributes

module Futhark.Representation.AST.Traversals

module Futhark.Representation.AST.Pretty

module Futhark.Representation.AST.Syntax

module Futhark.Representation.Kernels.Kernel

module Futhark.Representation.Kernels.KernelExp

module Futhark.Representation.Kernels.Sizes