futhark-0.11.0: 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 -> HostOp outerlore (Kernel lore) -> SimpleM outerlore (HostOp (Wise outerlore) (Kernel (Wise lore)), Stms (Wise outerlore)) Source #

Orphan instances

Simplifiable CombineSpace Source # 
Instance details

Simplifiable SplitOrdering 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