futhark-0.16.1: An optimising compiler for a functional, array-oriented language.
Safe HaskellNone
LanguageHaskell2010

Futhark.IR.Kernels.Simplify

Synopsis

Documentation

data Kernels Source #

The phantom data type for the kernels representation.

Instances

Instances details
Decorations Kernels Source # 
Instance details

Defined in Futhark.IR.Kernels

PrettyLore Kernels Source # 
Instance details

Defined in Futhark.IR.Kernels

ASTLore Kernels Source # 
Instance details

Defined in Futhark.IR.Kernels

Bindable Kernels Source # 
Instance details

Defined in Futhark.IR.Kernels

BinderOps Kernels Source # 
Instance details

Defined in Futhark.IR.Kernels

Checkable Kernels Source # 
Instance details

Defined in Futhark.IR.Kernels

CheckableOp Kernels Source # 
Instance details

Defined in Futhark.IR.Kernels

HasSegOp Kernels Source # 
Instance details

Defined in Futhark.IR.Kernels

Associated Types

type SegOpLevel Kernels Source #

BinderOps (Wise Kernels) Source # 
Instance details

Defined in Futhark.IR.Kernels.Simplify

HasSOAC (Wise Kernels) Source # 
Instance details

Defined in Futhark.IR.Kernels.Simplify

HasSegOp (Wise Kernels) Source # 
Instance details

Defined in Futhark.IR.Kernels.Simplify

Associated Types

type SegOpLevel (Wise Kernels) Source #

type LetDec Kernels Source # 
Instance details

Defined in Futhark.IR.Kernels

type ExpDec Kernels Source # 
Instance details

Defined in Futhark.IR.Kernels

type ExpDec Kernels = ()
type BodyDec Kernels Source # 
Instance details

Defined in Futhark.IR.Kernels

type BodyDec Kernels = ()
type FParamInfo Kernels Source # 
Instance details

Defined in Futhark.IR.Kernels

type LParamInfo Kernels Source # 
Instance details

Defined in Futhark.IR.Kernels

type RetType Kernels Source # 
Instance details

Defined in Futhark.IR.Kernels

type BranchType Kernels Source # 
Instance details

Defined in Futhark.IR.Kernels

type Op Kernels Source # 
Instance details

Defined in Futhark.IR.Kernels

type SegOpLevel Kernels Source # 
Instance details

Defined in Futhark.IR.Kernels

type SegOpLevel (Wise Kernels) Source # 
Instance details

Defined in Futhark.IR.Kernels.Simplify

Building blocks

simplifyKernelOp :: (SimplifiableLore lore, BodyDec lore ~ ()) => SimplifyOp lore op -> HostOp lore op -> SimpleM lore (HostOp (Wise lore) (OpWithWisdom op), Stms (Wise lore)) Source #

Orphan instances