Safe Haskell	Safe-Inferred

Language.Clafer.Front.Absclafer

Description

Abstract syntax of the Clafer language.

Documentation

noSpan :: Span Source

noPos :: Pos Source

newtype PosInteger Source

Constructors

PosInteger ((Int, Int), String)

Instances

Eq PosInteger
Ord PosInteger
Show PosInteger
Mappable PosInteger
Print PosInteger

newtype PosDouble Source

Constructors

PosDouble ((Int, Int), String)

Instances

Eq PosDouble
Ord PosDouble
Show PosDouble
Mappable PosDouble
Print PosDouble

newtype PosString Source

Constructors

PosString ((Int, Int), String)

Instances

Eq PosString
Ord PosString
Show PosString
Mappable PosString
Print PosString

newtype PosIdent Source

Constructors

PosIdent ((Int, Int), String)

Instances

Eq PosIdent
Ord PosIdent
Show PosIdent
Mappable PosIdent
Print PosIdent

data Module Source

Constructors

Module [Declaration]
PosModule Span [Declaration]

Instances

Eq Module
Ord Module
Show Module
Mappable Module
Print Module

data Declaration Source

Constructors

EnumDecl PosIdent [EnumId]
PosEnumDecl Span PosIdent [EnumId]
ElementDecl Element
PosElementDecl Span Element

Instances

Eq Declaration
Ord Declaration
Show Declaration
Mappable Declaration
Print Declaration

data Clafer Source

Constructors

Clafer Abstract GCard PosIdent Super Card Init Elements
PosClafer Span Abstract GCard PosIdent Super Card Init Elements

Instances

Eq Clafer
Ord Clafer
Show Clafer
Mappable Clafer
Print Clafer

data Constraint Source

Constructors

Constraint [Exp]
PosConstraint Span [Exp]

Instances

Eq Constraint
Ord Constraint
Show Constraint
Mappable Constraint
Print Constraint

data SoftConstraint Source

Constructors

SoftConstraint [Exp]
PosSoftConstraint Span [Exp]

Instances

Eq SoftConstraint
Ord SoftConstraint
Show SoftConstraint
Mappable SoftConstraint
Print SoftConstraint

data Goal Source

Constructors

Goal [Exp]
PosGoal Span [Exp]

Instances

Eq Goal
Ord Goal
Show Goal
Mappable Goal
Print Goal

data Abstract Source

Constructors

AbstractEmpty
PosAbstractEmpty Span
Abstract
PosAbstract Span

Instances

Eq Abstract
Ord Abstract
Show Abstract
Mappable Abstract
Print Abstract

data Elements Source

Constructors

ElementsEmpty
PosElementsEmpty Span
ElementsList [Element]
PosElementsList Span [Element]

Instances

Eq Elements
Ord Elements
Show Elements
Mappable Elements
Print Elements

data Element Source

Instances

Eq Element
Ord Element
Show Element
Mappable Element
Print Element

data Super Source

Constructors

SuperEmpty
PosSuperEmpty Span
SuperSome SuperHow SetExp
PosSuperSome Span SuperHow SetExp

Instances

Eq Super
Ord Super
Show Super
Mappable Super
Print Super

data SuperHow Source

Constructors

SuperColon
PosSuperColon Span
SuperArrow
PosSuperArrow Span
SuperMArrow
PosSuperMArrow Span

Instances

Eq SuperHow
Ord SuperHow
Show SuperHow
Mappable SuperHow
Print SuperHow

data Init Source

Constructors

InitEmpty
PosInitEmpty Span
InitSome InitHow Exp
PosInitSome Span InitHow Exp

Instances

Eq Init
Ord Init
Show Init
Mappable Init
Print Init

data InitHow Source

Constructors

InitHow_1
PosInitHow_1 Span
InitHow_2
PosInitHow_2 Span

Instances

Eq InitHow
Ord InitHow
Show InitHow
Mappable InitHow
Print InitHow

data GCard Source

Instances

Eq GCard
Ord GCard
Show GCard
Mappable GCard
Print GCard

data Card Source

Instances

Eq Card
Ord Card
Show Card
Mappable Card
Print Card

data NCard Source

Constructors

NCard PosInteger ExInteger
PosNCard Span PosInteger ExInteger

Instances

Eq NCard
Ord NCard
Show NCard
Mappable NCard
Print NCard

data ExInteger Source

Constructors

ExIntegerAst
PosExIntegerAst Span
ExIntegerNum PosInteger
PosExIntegerNum Span PosInteger

Instances

Eq ExInteger
Ord ExInteger
Show ExInteger
Mappable ExInteger
Print ExInteger

data Name Source

Constructors

Path [ModId]
PosPath Span [ModId]

Instances

Eq Name
Ord Name
Show Name
Mappable Name
Print Name

data Exp Source

Constructors

DeclAllDisj Decl Exp
PosDeclAllDisj Span Decl Exp
DeclAll Decl Exp
PosDeclAll Span Decl Exp
DeclQuantDisj Quant Decl Exp
PosDeclQuantDisj Span Quant Decl Exp
DeclQuant Quant Decl Exp
PosDeclQuant Span Quant Decl Exp
EGMax Exp
PosEGMax Span Exp
EGMin Exp
PosEGMin Span Exp
EIff Exp Exp
PosEIff Span Exp Exp
EImplies Exp Exp
PosEImplies Span Exp Exp
EOr Exp Exp
PosEOr Span Exp Exp
EXor Exp Exp
PosEXor Span Exp Exp
EAnd Exp Exp
PosEAnd Span Exp Exp
ENeg Exp
PosENeg Span Exp
ELt Exp Exp
PosELt Span Exp Exp
EGt Exp Exp
PosEGt Span Exp Exp
EEq Exp Exp
PosEEq Span Exp Exp
ELte Exp Exp
PosELte Span Exp Exp
EGte Exp Exp
PosEGte Span Exp Exp
ENeq Exp Exp
PosENeq Span Exp Exp
EIn Exp Exp
PosEIn Span Exp Exp
ENin Exp Exp
PosENin Span Exp Exp
QuantExp Quant Exp
PosQuantExp Span Quant Exp
EAdd Exp Exp
PosEAdd Span Exp Exp
ESub Exp Exp
PosESub Span Exp Exp
EMul Exp Exp
PosEMul Span Exp Exp
EDiv Exp Exp
PosEDiv Span Exp Exp
ESumSetExp Exp
PosESumSetExp Span Exp
ECSetExp Exp
PosECSetExp Span Exp
EMinExp Exp
PosEMinExp Span Exp
EImpliesElse Exp Exp Exp
PosEImpliesElse Span Exp Exp Exp
EInt PosInteger
PosEInt Span PosInteger
EDouble PosDouble
PosEDouble Span PosDouble
EStr PosString
PosEStr Span PosString
ESetExp SetExp
PosESetExp Span SetExp

Instances

Eq Exp
Ord Exp
Show Exp
Mappable Exp
Print Exp

data SetExp Source

Instances

Eq SetExp
Ord SetExp
Show SetExp
Mappable SetExp
Print SetExp

data Decl Source

Constructors

Decl [LocId] SetExp
PosDecl Span [LocId] SetExp

Instances

Eq Decl
Ord Decl
Show Decl
Mappable Decl
Print Decl

data Quant Source

Constructors

QuantNo
PosQuantNo Span
QuantLone
PosQuantLone Span
QuantOne
PosQuantOne Span
QuantSome
PosQuantSome Span

Instances

Eq Quant
Ord Quant
Show Quant
Mappable Quant
Print Quant

data EnumId Source

Constructors

EnumIdIdent PosIdent
PosEnumIdIdent Span PosIdent

Instances

Eq EnumId
Ord EnumId
Show EnumId
Mappable EnumId
Print EnumId

data ModId Source

Constructors

ModIdIdent PosIdent
PosModIdIdent Span PosIdent

Instances

Eq ModId
Ord ModId
Show ModId
Mappable ModId
Print ModId

data LocId Source

Constructors

LocIdIdent PosIdent
PosLocIdIdent Span PosIdent

Instances

Eq LocId
Ord LocId
Show LocId
Mappable LocId
Print LocId

data Pos Source

Constructors

Pos Integer Integer
PosPos Span Integer Integer

Instances

Eq Pos
Ord Pos
Show Pos
Print Pos

data Span Source

Constructors

Span Pos Pos
PosSpan Span Pos Pos

Instances

Eq Span
Ord Span
Show Span
Print Span

Subclafer Clafer
PosSubclafer Span Clafer
ClaferUse Name Card Elements
PosClaferUse Span Name Card Elements
Subconstraint Constraint
PosSubconstraint Span Constraint
Subgoal Goal
PosSubgoal Span Goal
Subsoftconstraint SoftConstraint
PosSubsoftconstraint Span SoftConstraint

GCardEmpty
PosGCardEmpty Span
GCardXor
PosGCardXor Span
GCardOr
PosGCardOr Span
GCardMux
PosGCardMux Span
GCardOpt
PosGCardOpt Span
GCardInterval NCard
PosGCardInterval Span NCard

CardEmpty
PosCardEmpty Span
CardLone
PosCardLone Span
CardSome
PosCardSome Span
CardAny
PosCardAny Span
CardNum PosInteger
PosCardNum Span PosInteger
CardInterval NCard
PosCardInterval Span NCard

Union SetExp SetExp
PosUnion Span SetExp SetExp
UnionCom SetExp SetExp
PosUnionCom Span SetExp SetExp
Difference SetExp SetExp
PosDifference Span SetExp SetExp
Intersection SetExp SetExp
PosIntersection Span SetExp SetExp
Domain SetExp SetExp
PosDomain Span SetExp SetExp
Range SetExp SetExp
PosRange Span SetExp SetExp
Join SetExp SetExp
PosJoin Span SetExp SetExp
ClaferId Name
PosClaferId Span Name