module Feldspar.Compiler.PluginArchitecture.DefaultConvert where
import Feldspar.Compiler.Imperative.Semantics
class Default t where
defaultValue :: t
defaultValue = error "Default value requested."
class Combine t where
combine :: t -> t -> t
combine = error "Default combination function used."
instance Default Int where
defaultValue = 0
instance Combine Int where
combine = (+)
instance Default Bool where
defaultValue = False
instance Default () where
defaultValue = ()
instance Combine () where
combine _ _ = ()
instance (Default a, Default b) => Default (a,b) where
defaultValue = (defaultValue, defaultValue)
class Convert a b where
convert :: a -> b
instance Default b => Convert a b where
convert _ = defaultValue
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
instance (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