FreeIn Bool Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
FreeIn Int Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
FreeIn () Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
FreeIn VName Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
FreeIn SubExp Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
FreeIn Certificates Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
FreeIn Ident Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
FreeIn Space Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
FreeIn Attrs Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
FreeIn FV Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
FreeIn Names Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
FreeIn ScalExp Source # | |
Instance detailsDefined in Futhark.Analysis.ScalExp |
FreeIn KnownBound Source # | |
Instance detailsDefined in Futhark.IR.Prop.Ranges |
FreeIn Names' Source # | |
Instance detailsDefined in Futhark.IR.Aliases |
FreeIn ExpWisdom Source # | |
Instance detailsDefined in Futhark.Optimise.Simplify.Lore |
FreeIn VarWisdom Source # | |
Instance detailsDefined in Futhark.Optimise.Simplify.Lore |
FreeIn Indexed Source # | |
Instance detailsDefined in Futhark.Analysis.SymbolTable |
FreeIn MemReturn Source # | |
Instance detailsDefined in Futhark.IR.Mem |
FreeIn MemBind Source # | |
Instance detailsDefined in Futhark.IR.Mem |
FreeIn KernelResult Source # | |
Instance detailsDefined in Futhark.IR.SegOp |
FreeIn SplitOrdering Source # | |
Instance detailsDefined in Futhark.IR.SegOp |
FreeIn LoopNesting Source # | |
Instance detailsDefined in Futhark.Pass.ExtractKernels.Distribution |
FreeIn SizeOp Source # | |
Instance detailsDefined in Futhark.IR.Kernels.Kernel |
FreeIn SegLevel Source # | |
Instance detailsDefined in Futhark.IR.Kernels.Kernel |
FreeIn Arg Source # | |
Instance detailsDefined in Futhark.CodeGen.ImpCode |
FreeIn ExpLeaf Source # | |
Instance detailsDefined in Futhark.CodeGen.ImpCode |
FreeIn Sequential Source # | |
Instance detailsDefined in Futhark.CodeGen.ImpCode.Sequential |
FreeIn AtomicOp Source # | |
Instance detailsDefined in Futhark.CodeGen.ImpCode.Kernels |
FreeIn KernelOp Source # | |
Instance detailsDefined in Futhark.CodeGen.ImpCode.Kernels |
FreeIn Kernel Source # | |
Instance detailsDefined in Futhark.CodeGen.ImpCode.Kernels |
FreeIn HostOp Source # | |
Instance detailsDefined in Futhark.CodeGen.ImpCode.Kernels |
FreeIn a => FreeIn [a] Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
FreeIn a => FreeIn (Maybe a) Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
FreeIn dec => FreeIn (PatElemT dec) Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
FreeIn d => FreeIn (DimIndex d) Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
FreeIn dec => FreeIn (Param dec) Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
FreeIn d => FreeIn (Ext d) Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
FreeIn d => FreeIn (ShapeBase d) Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
(FreeDec (ExpDec lore), FreeDec (BodyDec lore), FreeIn (FParamInfo lore), FreeIn (LParamInfo lore), FreeIn (LetDec lore), FreeIn (RetType lore), FreeIn (Op lore)) => FreeIn (FunDef lore) Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
(FreeDec (ExpDec lore), FreeDec (BodyDec lore), FreeIn (FParamInfo lore), FreeIn (LParamInfo lore), FreeIn (LetDec lore), FreeIn (Op lore)) => FreeIn (Lambda lore) Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
(FreeDec (ExpDec lore), FreeDec (BodyDec lore), FreeIn (FParamInfo lore), FreeIn (LParamInfo lore), FreeIn (LetDec lore), FreeIn (Op lore)) => FreeIn (Exp lore) Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
FreeIn a => FreeIn (IfDec a) Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
FreeIn (LParamInfo lore) => FreeIn (LoopForm lore) Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
FreeIn d => FreeIn (DimChange d) Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
(FreeDec (ExpDec lore), FreeDec (BodyDec lore), FreeIn (FParamInfo lore), FreeIn (LParamInfo lore), FreeIn (LetDec lore), FreeIn (Op lore)) => FreeIn (Body lore) Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
FreeIn (Stm lore) => FreeIn (Stms lore) Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
(FreeDec (ExpDec lore), FreeDec (BodyDec lore), FreeIn (FParamInfo lore), FreeIn (LParamInfo lore), FreeIn (LetDec lore), FreeIn (Op lore)) => FreeIn (Stm lore) Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
FreeIn dec => FreeIn (StmAux dec) Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
FreeIn dec => FreeIn (PatternT dec) Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
FreeIn v => FreeIn (PrimExp v) Source # | |
Instance detailsDefined in Futhark.Analysis.PrimExp |
FreeIn num => FreeIn (IxFun num) Source # | |
Instance detailsDefined in Futhark.IR.Mem.IxFun |
ASTLore lore => FreeIn (SOAC lore) Source # | |
Instance detailsDefined in Futhark.IR.SOACS.SOAC |
FreeIn inner => FreeIn (MemOp inner) Source # | |
Instance detailsDefined in Futhark.IR.Mem |
ASTLore lore => FreeIn (KernelBody lore) Source # | |
Instance detailsDefined in Futhark.IR.SegOp |
FreeIn a => FreeIn (Code a) Source # | |
Instance detailsDefined in Futhark.CodeGen.ImpCode |
FreeIn a => FreeIn (Functions a) Source # | |
Instance detailsDefined in Futhark.CodeGen.ImpCode |
(FreeIn a, FreeIn b) => FreeIn (a, b) Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
FreeIn shape => FreeIn (TypeBase shape u) Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
FreeIn e => FreeIn (Count u e) Source # | |
Instance detailsDefined in Futhark.IR.Kernels.Sizes |
(ASTLore lore, FreeIn (LParamInfo lore), FreeIn lvl) => FreeIn (SegOp lvl lore) Source # | |
Instance detailsDefined in Futhark.IR.SegOp |
(ASTLore lore, FreeIn op) => FreeIn (HostOp lore op) Source # | |
Instance detailsDefined in Futhark.IR.Kernels.Kernel |
(FreeIn a, FreeIn b, FreeIn c) => FreeIn (a, b, c) Source # | |
Instance detailsDefined in Futhark.IR.Prop.Names |
(FreeIn d, FreeIn ret) => FreeIn (MemInfo d u ret) Source # | |
Instance detailsDefined in Futhark.IR.Mem |