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

Safe HaskellNone
LanguageHaskell2010

Futhark.Representation.Kernels.Simplify

Contents

Synopsis

Documentation

Building blocks

simplifyKernelOp :: (SimplifiableLore lore, SimplifiableLore outerlore, BodyAttr outerlore ~ (), BodyAttr lore ~ (), ExpAttr lore ~ ExpAttr outerlore, SameScope lore outerlore, RetType lore ~ RetType outerlore, BranchType lore ~ BranchType outerlore) => (KernelSpace -> SimpleOps lore) -> Env lore -> Kernel lore -> SimpleM outerlore (Kernel (Wise lore), Stms (Wise outerlore)) Source #

Orphan instances

Simplifiable CombineSpace Source # 
Instance details

Simplifiable SplitOrdering Source # 
Instance details

Simplifiable WhichThreads Source # 
Instance details

Simplifiable KernelResult Source # 
Instance details

Simplifiable SpaceStructure Source # 
Instance details

Simplifiable KernelSpace Source # 
Instance details

BinderOps (Wise InKernel) Source # 
Instance details

BinderOps (Wise Kernels) Source # 
Instance details