Feldspar.Compiler.PluginArchitecture.DefaultConvert

Documentation

class Default t where

Methods

defaultValue :: t

Instances

Default Bool

Default Int

Default ()

Default IsDefaultArraySize

Default IsRestrict

Default Occurrence_place

Default SignatureInformation

Default [(VariableData, LeftValueData ())]

Default [(VariableData, LeftValueData (), Bool)]

Default [VariableData]

Default (Maybe (VariableData, LeftValueData (), Bool))

Default (Maybe VariableData)

Default (Maybe SemInfPrg)

Default (Set VariableData)

Default (VarStatistics t)

(Default a, Default b) => Default (a, b)

class Combine t where

Methods

combine :: t -> t -> t

Instances

Combine Bool

Combine Bool

Combine Int

Combine ()

Combine (Set VariableData)

Combine (Occurrence t)

Combine (Occurrences t)

Combine (VarStatistics t)

Combine (VarStatBck, [(VariableData, LeftValueData (), Bool)])

Combine (VarStatFwd, Maybe VariableData)

class Convert a b where

Methods

convert :: a -> b

Instances

Default b => Convert a b

class (SemanticInfo from, SemanticInfo to, Convert (ProcedureInfo from) (ProcedureInfo to), Convert (BlockInfo from) (BlockInfo to), Convert (ProgramInfo from) (ProgramInfo to), Convert (EmptyInfo from) (EmptyInfo to), Convert (PrimitiveInfo from) (PrimitiveInfo to), Convert (SequenceInfo from) (SequenceInfo to), Convert (BranchInfo from) (BranchInfo to), Convert (SequentialLoopInfo from) (SequentialLoopInfo to), Convert (ParallelLoopInfo from) (ParallelLoopInfo to), Convert (FormalParameterInfo from) (FormalParameterInfo to), Convert (LocalDeclarationInfo from) (LocalDeclarationInfo to), Convert (ExpressionInfo from) (ExpressionInfo to), Convert (ConstantInfo from) (ConstantInfo to), Convert (FunctionCallInfo from) (FunctionCallInfo to), Convert (LeftValueInfo from) (LeftValueInfo to), Convert (ArrayElemReferenceInfo from) (ArrayElemReferenceInfo to), Convert (InstructionInfo from) (InstructionInfo to), Convert (AssignmentInfo from) (AssignmentInfo to), Convert (ProcedureCallInfo from) (ProcedureCallInfo to), Convert (ActualParameterInfo from) (ActualParameterInfo to), Convert (IntConstantInfo from) (IntConstantInfo to), Convert (FloatConstantInfo from) (FloatConstantInfo to), Convert (BoolConstantInfo from) (BoolConstantInfo to), Convert (ArrayConstantInfo from) (ArrayConstantInfo to), Convert (VariableInfo from) (VariableInfo to)) => ConvertAllInfos from to

Instances

(SemanticInfo from, SemanticInfo to, Convert (ProcedureInfo from) (ProcedureInfo to), Convert (BlockInfo from) (BlockInfo to), Convert (ProgramInfo from) (ProgramInfo to), Convert (EmptyInfo from) (EmptyInfo to), Convert (PrimitiveInfo from) (PrimitiveInfo to), Convert (SequenceInfo from) (SequenceInfo to), Convert (BranchInfo from) (BranchInfo to), Convert (SequentialLoopInfo from) (SequentialLoopInfo to), Convert (ParallelLoopInfo from) (ParallelLoopInfo to), Convert (FormalParameterInfo from) (FormalParameterInfo to), Convert (LocalDeclarationInfo from) (LocalDeclarationInfo to), Convert (ExpressionInfo from) (ExpressionInfo to), Convert (ConstantInfo from) (ConstantInfo to), Convert (FunctionCallInfo from) (FunctionCallInfo to), Convert (LeftValueInfo from) (LeftValueInfo to), Convert (ArrayElemReferenceInfo from) (ArrayElemReferenceInfo to), Convert (InstructionInfo from) (InstructionInfo to), Convert (AssignmentInfo from) (AssignmentInfo to), Convert (ProcedureCallInfo from) (ProcedureCallInfo to), Convert (ActualParameterInfo from) (ActualParameterInfo to), Convert (IntConstantInfo from) (IntConstantInfo to), Convert (FloatConstantInfo from) (FloatConstantInfo to), Convert (BoolConstantInfo from) (BoolConstantInfo to), Convert (ArrayConstantInfo from) (ArrayConstantInfo to), Convert (VariableInfo from) (VariableInfo to)) => ConvertAllInfos from to