Eq PosInteger
Data PosInteger
Ord PosInteger
Read PosInteger
Show PosInteger
Generic PosInteger
Spannable PosInteger
Print PosInteger
Typeable * PosInteger
type Rep PosInteger

newtype PosDouble Source

Constructors

PosDouble ((Int, Int), String)

Instances

Eq PosDouble
Data PosDouble
Ord PosDouble
Read PosDouble
Show PosDouble
Generic PosDouble
Spannable PosDouble
Print PosDouble
Typeable * PosDouble
type Rep PosDouble

newtype PosString Source

Constructors

PosString ((Int, Int), String)

Instances

Eq PosString
Data PosString
Ord PosString
Read PosString
Show PosString
Generic PosString
Spannable PosString
Print PosString
Typeable * PosString
type Rep PosString

newtype PosIdent Source

Constructors

PosIdent ((Int, Int), String)

Instances

Eq PosIdent
Data PosIdent
Ord PosIdent
Read PosIdent
Show PosIdent
Generic PosIdent
Spannable PosIdent
Print PosIdent
Typeable * PosIdent
type Rep PosIdent

data Module Source

Constructors

Module Span [Declaration]

Instances

Eq Module
Data Module
Ord Module
Read Module
Show Module
Generic Module
Spannable Module
Print Module
Typeable * Module
type Rep Module

data Declaration Source

Constructors

EnumDecl Span PosIdent [EnumId]
ElementDecl Span Element

data Clafer Source

Constructors

Clafer Span Abstract GCard PosIdent Super Card Init Elements

Instances

Eq Clafer
Data Clafer
Ord Clafer
Read Clafer
Show Clafer
Generic Clafer
Spannable Clafer
Print Clafer
Typeable * Clafer
type Rep Clafer

data Constraint Source

Constructors

Constraint Span [Exp]

Instances

Eq Constraint
Data Constraint
Ord Constraint
Read Constraint
Show Constraint
Generic Constraint
Spannable Constraint
Print Constraint
Typeable * Constraint
type Rep Constraint

data SoftConstraint Source

Constructors

SoftConstraint Span [Exp]

data Goal Source

Constructors

Goal Span [Exp]

Instances

Eq Goal
Data Goal
Ord Goal
Read Goal
Show Goal
Generic Goal
Spannable Goal
Print Goal
Typeable * Goal
type Rep Goal

data Abstract Source

Constructors

AbstractEmpty Span
Abstract Span

Instances

Eq Abstract
Data Abstract
Ord Abstract
Read Abstract
Show Abstract
Generic Abstract
Spannable Abstract
Print Abstract
Typeable * Abstract
type Rep Abstract

data Elements Source

Constructors

ElementsEmpty Span
ElementsList Span [Element]

Instances

Eq Elements
Data Elements
Ord Elements
Read Elements
Show Elements
Generic Elements
Spannable Elements
Print Elements
Typeable * Elements
type Rep Elements

data Element Source

Constructors

Subclafer Span Clafer
ClaferUse Span Name Card Elements
Subconstraint Span Constraint
Subgoal Span Goal
Subsoftconstraint Span SoftConstraint

Instances

Eq Element
Data Element
Ord Element
Read Element
Show Element
Generic Element
Spannable Element
Print Element
Typeable * Element
type Rep Element

data Super Source

Constructors

SuperEmpty Span
SuperSome Span SuperHow SetExp

Instances

Eq Super
Data Super
Ord Super
Read Super
Show Super
Generic Super
Spannable Super
Print Super
Typeable * Super
type Rep Super

data SuperHow Source

Constructors

SuperColon Span
SuperArrow Span
SuperMArrow Span

Instances

Eq SuperHow
Data SuperHow
Ord SuperHow
Read SuperHow
Show SuperHow
Generic SuperHow
Spannable SuperHow
Print SuperHow
Typeable * SuperHow
type Rep SuperHow

data Init Source

Constructors

InitEmpty Span
InitSome Span InitHow Exp

Instances

Eq Init
Data Init
Ord Init
Read Init
Show Init
Generic Init
Spannable Init
Print Init
Typeable * Init
type Rep Init

data InitHow Source

Constructors

InitHow_1 Span
InitHow_2 Span

Instances

Eq InitHow
Data InitHow
Ord InitHow
Read InitHow
Show InitHow
Generic InitHow
Spannable InitHow
Print InitHow
Typeable * InitHow
type Rep InitHow

data GCard Source

Constructors

GCardEmpty Span
GCardXor Span
GCardOr Span
GCardMux Span
GCardOpt Span
GCardInterval Span NCard

Instances

Eq GCard
Data GCard
Ord GCard
Read GCard
Show GCard
Generic GCard
Spannable GCard
Print GCard
Typeable * GCard
type Rep GCard

data Card Source

Constructors

CardEmpty Span
CardLone Span
CardSome Span
CardAny Span
CardNum Span PosInteger
CardInterval Span NCard

Instances

Eq Card
Data Card
Ord Card
Read Card
Show Card
Generic Card
Spannable Card
Print Card
Typeable * Card
type Rep Card

data NCard Source

Constructors

NCard Span PosInteger ExInteger

Instances

Eq NCard
Data NCard
Ord NCard
Read NCard
Show NCard
Generic NCard
Spannable NCard
Print NCard
Typeable * NCard
type Rep NCard

data ExInteger Source

Constructors

ExIntegerAst Span
ExIntegerNum Span PosInteger

Instances

Eq ExInteger
Data ExInteger
Ord ExInteger
Read ExInteger
Show ExInteger
Generic ExInteger
Spannable ExInteger
Print ExInteger
Typeable * ExInteger
type Rep ExInteger

data Name Source

Constructors

Path Span [ModId]

Instances

Eq Name
Data Name
Ord Name
Read Name
Show Name
Generic Name
Spannable Name
Print Name
Typeable * Name
type Rep Name

data Exp Source

Constructors

DeclAllDisj Span Decl Exp
DeclAll Span Decl Exp
DeclQuantDisj Span Quant Decl Exp
DeclQuant Span Quant Decl Exp
EGMax Span Exp
EGMin Span Exp
EIff Span Exp Exp
EImplies Span Exp Exp
EOr Span Exp Exp
EXor Span Exp Exp
EAnd Span Exp Exp
ENeg Span Exp
ELt Span Exp Exp
EGt Span Exp Exp
EEq Span Exp Exp
ELte Span Exp Exp
EGte Span Exp Exp
ENeq Span Exp Exp
EIn Span Exp Exp
ENin Span Exp Exp
QuantExp Span Quant Exp
EAdd Span Exp Exp
ESub Span Exp Exp
EMul Span Exp Exp
EDiv Span Exp Exp
ESumSetExp Span Exp
ECSetExp Span Exp
EMinExp Span Exp
EImpliesElse Span Exp Exp Exp
EInt Span PosInteger
EDouble Span PosDouble
EStr Span PosString
ESetExp Span SetExp

Instances

Eq Exp
Data Exp
Ord Exp
Read Exp
Show Exp
Generic Exp
Spannable Exp
Print Exp
Typeable * Exp
type Rep Exp

data SetExp Source

Instances

Eq SetExp
Data SetExp
Ord SetExp
Read SetExp
Show SetExp
Generic SetExp
Spannable SetExp
Print SetExp
Typeable * SetExp
type Rep SetExp

data Decl Source

Constructors

Decl Span [LocId] SetExp

Instances

Eq Decl
Data Decl
Ord Decl
Read Decl
Show Decl
Generic Decl
Spannable Decl
Print Decl
Typeable * Decl
type Rep Decl

data Quant Source

Constructors

QuantNo Span
QuantNot Span
QuantLone Span
QuantOne Span
QuantSome Span

Instances

Eq Quant
Data Quant
Ord Quant
Read Quant
Show Quant
Generic Quant
Spannable Quant
Print Quant
Typeable * Quant
type Rep Quant

data EnumId Source

Constructors

EnumIdIdent Span PosIdent

Instances

Eq EnumId
Data EnumId
Ord EnumId
Read EnumId
Show EnumId
Generic EnumId
Spannable EnumId
Print EnumId
Typeable * EnumId
type Rep EnumId

data ModId Source

Constructors

ModIdIdent Span PosIdent

Instances

Eq ModId
Data ModId
Ord ModId
Read ModId
Show ModId
Generic ModId
Spannable ModId
Print ModId
Typeable * ModId
type Rep ModId

data LocId Source

Constructors

LocIdIdent Span PosIdent

Instances

Eq LocId
Data LocId
Ord LocId
Read LocId
Show LocId
Generic LocId
Spannable LocId
Print LocId
Typeable * LocId
type Rep LocId

Eq Declaration
Data Declaration
Ord Declaration
Read Declaration
Show Declaration
Generic Declaration
Spannable Declaration
Print Declaration
Typeable * Declaration
type Rep Declaration

Eq SoftConstraint
Data SoftConstraint
Ord SoftConstraint
Read SoftConstraint
Show SoftConstraint
Generic SoftConstraint
Spannable SoftConstraint
Print SoftConstraint
Typeable * SoftConstraint
type Rep SoftConstraint

Union Span SetExp SetExp
UnionCom Span SetExp SetExp
Difference Span SetExp SetExp
Intersection Span SetExp SetExp
Domain Span SetExp SetExp
Range Span SetExp SetExp
Join Span SetExp SetExp
ClaferId Span Name