hydra-0.12.0: src/main/haskell/Hydra/Sources/Haskell/Operators.hs
module Hydra.Sources.Haskell.Operators where
-- Standard imports for term-level sources outside of the kernel
import Hydra.Kernel
import Hydra.Sources.Libraries
import qualified Hydra.Dsl.Accessors as Accessors
import qualified Hydra.Dsl.Annotations as Anns
import qualified Hydra.Dsl.Ast as Ast
import qualified Hydra.Dsl.Coders as Coders
import qualified Hydra.Dsl.Compute as Compute
import qualified Hydra.Dsl.Core as Core
import qualified Hydra.Dsl.Grammar as Grammar
import qualified Hydra.Dsl.Graph as Graph
import qualified Hydra.Dsl.Json as Json
import qualified Hydra.Dsl.Lib.Chars as Chars
import qualified Hydra.Dsl.Lib.Equality as Equality
import qualified Hydra.Dsl.Lib.Flows as Flows
import qualified Hydra.Dsl.Lib.Lists as Lists
import qualified Hydra.Dsl.Lib.Literals as Literals
import qualified Hydra.Dsl.Lib.Logic as Logic
import qualified Hydra.Dsl.Lib.Maps as Maps
import qualified Hydra.Dsl.Lib.Math as Math
import qualified Hydra.Dsl.Lib.Optionals as Optionals
import qualified Hydra.Dsl.Lib.Sets as Sets
import Hydra.Dsl.Lib.Strings as Strings
import qualified Hydra.Dsl.Mantle as Mantle
import qualified Hydra.Dsl.Module as Module
import Hydra.Dsl.Phantoms as Phantoms
import qualified Hydra.Dsl.TTerms as TTerms
import qualified Hydra.Dsl.TTypes as TTypes
import qualified Hydra.Dsl.Tabular as Tabular
import qualified Hydra.Dsl.Terms as Terms
import qualified Hydra.Dsl.Topology as Topology
import qualified Hydra.Dsl.Types as Types
import qualified Hydra.Dsl.Typing as Typing
import qualified Hydra.Sources.Kernel.Types.All as KernelTypes
import qualified Hydra.Sources.Kernel.Terms.Adapt.Literals as AdaptLiterals
import qualified Hydra.Sources.Kernel.Terms.Adapt.Modules as AdaptModules
import qualified Hydra.Sources.Kernel.Terms.Adapt.Terms as AdaptTerms
import qualified Hydra.Sources.Kernel.Terms.Adapt.Utils as AdaptUtils
import qualified Hydra.Sources.Kernel.Terms.Annotations as Annotations
import qualified Hydra.Sources.Kernel.Terms.Arity as Arity
import qualified Hydra.Sources.Kernel.Terms.Constants as Constants
import qualified Hydra.Sources.Kernel.Terms.Decode.Core as DecodeCore
import qualified Hydra.Sources.Kernel.Terms.Decoding as Decoding
import qualified Hydra.Sources.Kernel.Terms.Describe.Core as DescribeCore
import qualified Hydra.Sources.Kernel.Terms.Describe.Mantle as DescribeMantle
import qualified Hydra.Sources.Kernel.Terms.Encode.Core as EncodeCore
import qualified Hydra.Sources.Kernel.Terms.Extract.Core as ExtractCore
import qualified Hydra.Sources.Kernel.Terms.Extract.Mantle as ExtractMantle
import qualified Hydra.Sources.Kernel.Terms.Formatting as Formatting
import qualified Hydra.Sources.Kernel.Terms.Grammars as Grammars
import qualified Hydra.Sources.Kernel.Terms.Inference as Inference
import qualified Hydra.Sources.Kernel.Terms.Languages as Languages
import qualified Hydra.Sources.Kernel.Terms.Lexical as Lexical
import qualified Hydra.Sources.Kernel.Terms.Literals as Literals
import qualified Hydra.Sources.Kernel.Terms.Monads as Monads
import qualified Hydra.Sources.Kernel.Terms.Names as Names
import qualified Hydra.Sources.Kernel.Terms.Reduction as Reduction
import qualified Hydra.Sources.Kernel.Terms.Rewriting as Rewriting
import qualified Hydra.Sources.Kernel.Terms.Schemas as Schemas
import qualified Hydra.Sources.Kernel.Terms.Serialization as Serialization
import qualified Hydra.Sources.Kernel.Terms.Show.Accessors as ShowAccessors
import qualified Hydra.Sources.Kernel.Terms.Show.Core as ShowCore
import qualified Hydra.Sources.Kernel.Terms.Show.Graph as ShowGraph
import qualified Hydra.Sources.Kernel.Terms.Show.Mantle as ShowMantle
import qualified Hydra.Sources.Kernel.Terms.Show.Typing as ShowTyping
import qualified Hydra.Sources.Kernel.Terms.Sorting as Sorting
import qualified Hydra.Sources.Kernel.Terms.Substitution as Substitution
import qualified Hydra.Sources.Kernel.Terms.Tarjan as Tarjan
import qualified Hydra.Sources.Kernel.Terms.Templates as Templates
import qualified Hydra.Sources.Kernel.Terms.Unification as Unification
import qualified Hydra.Sources.Kernel.Terms.Variants as Variants
import Prelude hiding ((++))
import qualified Data.Int as I
import qualified Data.List as L
import qualified Data.Map as M
import qualified Data.Set as S
import qualified Data.Maybe as Y
import Hydra.Ast
haskellOperatorsDefinition :: String -> TTerm a -> TBinding a
haskellOperatorsDefinition = definitionInModule haskellOperatorsModule
haskellOperatorsModule :: Module
haskellOperatorsModule = Module ns elements
[Serialization.module_]
KernelTypes.kernelTypesModules $
Just "AST operators for Haskell"
where
ns = Namespace "hydra.ext.haskell.operators"
elements = [
el andOpDef,
el apOpDef,
el appOpDef,
el applyOpDef,
el arrowOpDef,
el assertOpDef,
el bindOpDef,
el caseOpDef,
el composeOpDef,
el concatOpDef,
el consOpDef,
el defineOpDef,
el diamondOpDef,
el divOpDef,
el divideOpDef,
el elemOpDef,
el equalOpDef,
el fmapOpDef,
el gtOpDef,
el gteOpDef,
el indexOpDef,
el lambdaOpDef,
el ltOpDef,
el lteOpDef,
el minusOpDef,
el modOpDef,
el multOpDef,
el neqOpDef,
el notElemOpDef,
el orOpDef,
el plusOpDef,
el quotOpDef,
el remOpDef,
el typeOpDef]
andOpDef :: TBinding Op
andOpDef = haskellOperatorsDefinition "andOp" $
ref Serialization.opDef @@ string "&&" @@ int32 3 @@ Ast.associativityRight
apOpDef :: TBinding Op
apOpDef = haskellOperatorsDefinition "apOp" $
ref Serialization.opDef @@ string "<*>" @@ int32 4 @@ Ast.associativityLeft
appOpDef :: TBinding Op
appOpDef = haskellOperatorsDefinition "appOp" $
doc "No source" $
Ast.op
(Ast.symbol $ string "")
(Ast.padding Ast.wsNone Ast.wsSpace)
(Ast.precedence $ int32 0)
Ast.associativityLeft
applyOpDef :: TBinding Op
applyOpDef = haskellOperatorsDefinition "applyOp" $
ref Serialization.opDef @@ string "$" @@ int32 0 @@ Ast.associativityRight
arrowOpDef :: TBinding Op
arrowOpDef = haskellOperatorsDefinition "arrowOp" $
ref Serialization.opDef @@ string "->" @@ (Math.neg $ int32 1) @@ Ast.associativityRight
assertOpDef :: TBinding Op
assertOpDef = haskellOperatorsDefinition "assertOp" $
doc "No source" $
ref Serialization.opDef @@ string "=>" @@ int32 0 @@ Ast.associativityNone
bindOpDef :: TBinding Op
bindOpDef = haskellOperatorsDefinition "bindOp" $
ref Serialization.opDef @@ string ">>=" @@ int32 1 @@ Ast.associativityLeft
caseOpDef :: TBinding Op
caseOpDef = haskellOperatorsDefinition "caseOp" $
doc "No source" $
ref Serialization.opDef @@ string "->" @@ int32 0 @@ Ast.associativityNone
composeOpDef :: TBinding Op
composeOpDef = haskellOperatorsDefinition "composeOp" $
ref Serialization.opDef @@ string "." @@ int32 9 @@ Ast.associativityLeft
concatOpDef :: TBinding Op
concatOpDef = haskellOperatorsDefinition "concatOp" $
ref Serialization.opDef @@ string "++" @@ int32 5 @@ Ast.associativityRight
consOpDef :: TBinding Op
consOpDef = haskellOperatorsDefinition "consOp" $
ref Serialization.opDef @@ string ":" @@ int32 5 @@ Ast.associativityRight
defineOpDef :: TBinding Op
defineOpDef = haskellOperatorsDefinition "defineOp" $
doc "No source" $
ref Serialization.opDef @@ string "=" @@ int32 0 @@ Ast.associativityNone
diamondOpDef :: TBinding Op
diamondOpDef = haskellOperatorsDefinition "diamondOp" $
ref Serialization.opDef @@ string "<>" @@ int32 6 @@ Ast.associativityRight
divOpDef :: TBinding Op
divOpDef = haskellOperatorsDefinition "divOp" $
ref Serialization.opDef @@ string "`div`" @@ int32 7 @@ Ast.associativityLeft
divideOpDef :: TBinding Op
divideOpDef = haskellOperatorsDefinition "divideOp" $
ref Serialization.opDef @@ string "/" @@ int32 7 @@ Ast.associativityLeft
elemOpDef :: TBinding Op
elemOpDef = haskellOperatorsDefinition "elemOp" $
ref Serialization.opDef @@ string "`elem`" @@ int32 4 @@ Ast.associativityNone
equalOpDef :: TBinding Op
equalOpDef = haskellOperatorsDefinition "equalOp" $
ref Serialization.opDef @@ string "==" @@ int32 4 @@ Ast.associativityNone
fmapOpDef :: TBinding Op
fmapOpDef = haskellOperatorsDefinition "fmapOp" $
ref Serialization.opDef @@ string "<$>" @@ int32 4 @@ Ast.associativityLeft
gtOpDef :: TBinding Op
gtOpDef = haskellOperatorsDefinition "gtOp" $
ref Serialization.opDef @@ string ">" @@ int32 4 @@ Ast.associativityNone
gteOpDef :: TBinding Op
gteOpDef = haskellOperatorsDefinition "gteOp" $
ref Serialization.opDef @@ string ">=" @@ int32 4 @@ Ast.associativityNone
indexOpDef :: TBinding Op
indexOpDef = haskellOperatorsDefinition "indexOp" $
ref Serialization.opDef @@ string "!!" @@ int32 9 @@ Ast.associativityLeft
lambdaOpDef :: TBinding Op
lambdaOpDef = haskellOperatorsDefinition "lambdaOp" $
doc "No source" $
ref Serialization.opDef @@ string "->" @@ (Math.neg $ int32 1) @@ Ast.associativityRight
ltOpDef :: TBinding Op
ltOpDef = haskellOperatorsDefinition "ltOp" $
ref Serialization.opDef @@ string "<" @@ int32 4 @@ Ast.associativityNone
lteOpDef :: TBinding Op
lteOpDef = haskellOperatorsDefinition "lteOp" $
ref Serialization.opDef @@ string ">=" @@ int32 4 @@ Ast.associativityNone
minusOpDef :: TBinding Op
minusOpDef = haskellOperatorsDefinition "minusOp" $
doc "Originally: associativityLeft" $
ref Serialization.opDef @@ string "-" @@ int32 6 @@ Ast.associativityBoth
modOpDef :: TBinding Op
modOpDef = haskellOperatorsDefinition "modOp" $
ref Serialization.opDef @@ string "`mod`" @@ int32 7 @@ Ast.associativityLeft
multOpDef :: TBinding Op
multOpDef = haskellOperatorsDefinition "multOp" $
doc "Originally: associativityLeft" $
ref Serialization.opDef @@ string "*" @@ int32 7 @@ Ast.associativityBoth
neqOpDef :: TBinding Op
neqOpDef = haskellOperatorsDefinition "neqOp" $
ref Serialization.opDef @@ string "/=" @@ int32 4 @@ Ast.associativityNone
notElemOpDef :: TBinding Op
notElemOpDef = haskellOperatorsDefinition "notElemOp" $
ref Serialization.opDef @@ string "`notElem`" @@ int32 4 @@ Ast.associativityNone
orOpDef :: TBinding Op
orOpDef = haskellOperatorsDefinition "orOp" $
ref Serialization.opDef @@ string "||" @@ int32 2 @@ Ast.associativityRight
plusOpDef :: TBinding Op
plusOpDef = haskellOperatorsDefinition "plusOp" $
doc "Originally: associativityLeft" $
ref Serialization.opDef @@ string "+" @@ int32 6 @@ Ast.associativityBoth
quotOpDef :: TBinding Op
quotOpDef = haskellOperatorsDefinition "quotOp" $
ref Serialization.opDef @@ string "`quot`" @@ int32 7 @@ Ast.associativityLeft
remOpDef :: TBinding Op
remOpDef = haskellOperatorsDefinition "remOp" $
ref Serialization.opDef @@ string "`rem`" @@ int32 7 @@ Ast.associativityLeft
typeOpDef :: TBinding Op
typeOpDef = haskellOperatorsDefinition "typeOp" $
doc "No source" $
ref Serialization.opDef @@ string "::" @@ int32 0 @@ Ast.associativityNone