Loading [Contrib]/a11y/accessibility-menu.js

futhark-0.9.1: An optimising compiler for a functional, array-oriented language.

Safe HaskellNone
LanguageHaskell2010

Futhark.Representation.Kernels

Contents

Description

A representation with flat parallelism via GPU-oriented kernels.

Synopsis

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