Safe Haskell	Safe-Inferred

Language.Clafer.Front.Absclafer

Documentation

data Pos Source

Constructors

Pos Integer Integer

Instances

Eq Pos
Data Pos
Ord Pos
Read Pos
Show Pos
Typeable Pos
Generic Pos

noPos :: Pos Source

data Span Source

Constructors

Span Pos Pos

Instances

Eq Span
Data Span
Ord Span
Read Span
Show Span
Typeable Span
Generic Span

noSpan :: Span Source

(>-) :: Span -> Span -> Span Source

len :: [a] -> IntegerSource

newtype PosInteger Source

Constructors

PosInteger ((Int, Int), String)

Instances

Eq PosInteger
Data PosInteger
Ord PosInteger
Read PosInteger
Show PosInteger
Typeable PosInteger
Generic PosInteger
Spannable PosInteger
Print PosInteger

newtype PosDouble Source

Constructors

PosDouble ((Int, Int), String)

Instances

Eq PosDouble
Data PosDouble
Ord PosDouble
Read PosDouble
Show PosDouble
Typeable PosDouble
Generic PosDouble
Spannable PosDouble
Print PosDouble

newtype PosString Source

Constructors

PosString ((Int, Int), String)

Instances

Eq PosString
Data PosString
Ord PosString
Read PosString
Show PosString
Typeable PosString
Generic PosString
Spannable PosString
Print PosString

newtype PosIdent Source

Constructors

PosIdent ((Int, Int), String)

Instances

Eq PosIdent
Data PosIdent
Ord PosIdent
Read PosIdent
Show PosIdent
Typeable PosIdent
Generic PosIdent
Spannable PosIdent
Print PosIdent

data Module Source

Constructors

Module Span [Declaration]

Instances

Eq Module
Data Module
Ord Module
Read Module
Show Module
Typeable Module
Generic Module
Spannable Module
Print Module

data Declaration Source

Constructors

EnumDecl Span PosIdent [EnumId]
ElementDecl Span Element

Instances

Eq Declaration
Data Declaration
Ord Declaration
Read Declaration
Show Declaration
Typeable Declaration
Generic Declaration
Spannable Declaration
Print Declaration

data Clafer Source

Constructors

Clafer Span Abstract GCard PosIdent Super Card Init Elements

Instances

Eq Clafer
Data Clafer
Ord Clafer
Read Clafer
Show Clafer
Typeable Clafer
Generic Clafer
Spannable Clafer
Print Clafer

data Constraint Source

Constructors

Constraint Span [Exp]

Instances

Eq Constraint
Data Constraint
Ord Constraint
Read Constraint
Show Constraint
Typeable Constraint
Generic Constraint
Spannable Constraint
Print Constraint

data SoftConstraint Source

Constructors

SoftConstraint Span [Exp]

Instances

Eq SoftConstraint
Data SoftConstraint
Ord SoftConstraint
Read SoftConstraint
Show SoftConstraint
Typeable SoftConstraint
Generic SoftConstraint
Spannable SoftConstraint
Print SoftConstraint

data Goal Source

Constructors

Goal Span [Exp]

Instances

Eq Goal
Data Goal
Ord Goal
Read Goal
Show Goal
Typeable Goal
Generic Goal
Spannable Goal
Print Goal

data Abstract Source

Constructors

AbstractEmpty Span
Abstract Span

Instances

Eq Abstract
Data Abstract
Ord Abstract
Read Abstract
Show Abstract
Typeable Abstract
Generic Abstract
Spannable Abstract
Print Abstract

data Elements Source

Constructors

ElementsEmpty Span
ElementsList Span [Element]

Instances

Eq Elements
Data Elements
Ord Elements
Read Elements
Show Elements
Typeable Elements
Generic Elements
Spannable Elements
Print 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
Typeable Element
Generic Element
Spannable Element
Print Element

data Super Source

Constructors

SuperEmpty Span
SuperSome Span SuperHow SetExp

Instances

Eq Super
Data Super
Ord Super
Read Super
Show Super
Typeable Super
Generic Super
Spannable Super
Print Super

data SuperHow Source

Constructors

SuperColon Span
SuperArrow Span
SuperMArrow Span

Instances

Eq SuperHow
Data SuperHow
Ord SuperHow
Read SuperHow
Show SuperHow
Typeable SuperHow
Generic SuperHow
Spannable SuperHow
Print SuperHow

data Init Source

Constructors

InitEmpty Span
InitSome Span InitHow Exp

Instances

Eq Init
Data Init
Ord Init
Read Init
Show Init
Typeable Init
Generic Init
Spannable Init
Print Init

data InitHow Source

Constructors

InitHow_1 Span
InitHow_2 Span

Instances

Eq InitHow
Data InitHow
Ord InitHow
Read InitHow
Show InitHow
Typeable InitHow
Generic InitHow
Spannable InitHow
Print 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
Typeable GCard
Generic GCard
Spannable GCard
Print 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
Typeable Card
Generic Card
Spannable Card
Print Card

data NCard Source

Constructors

NCard Span PosInteger ExInteger

Instances

Eq NCard
Data NCard
Ord NCard
Read NCard
Show NCard
Typeable NCard
Generic NCard
Spannable NCard
Print NCard

data ExInteger Source

Constructors

ExIntegerAst Span
ExIntegerNum Span PosInteger

Instances

Eq ExInteger
Data ExInteger
Ord ExInteger
Read ExInteger
Show ExInteger
Typeable ExInteger
Generic ExInteger
Spannable ExInteger
Print ExInteger

data Name Source

Constructors

Path Span [ModId]

Instances

Eq Name
Data Name
Ord Name
Read Name
Show Name
Typeable Name
Generic Name
Spannable Name
Print 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
Typeable Exp
Generic Exp
Spannable Exp
Print Exp

data SetExp Source

Instances

Eq SetExp
Data SetExp
Ord SetExp
Read SetExp
Show SetExp
Typeable SetExp
Generic SetExp
Spannable SetExp
Print SetExp

data Decl Source

Constructors

Decl Span [LocId] SetExp

Instances

Eq Decl
Data Decl
Ord Decl
Read Decl
Show Decl
Typeable Decl
Generic Decl
Spannable Decl
Print 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
Typeable Quant
Generic Quant
Spannable Quant
Print Quant

data EnumId Source

Constructors

EnumIdIdent Span PosIdent

Instances

Eq EnumId
Data EnumId
Ord EnumId
Read EnumId
Show EnumId
Typeable EnumId
Generic EnumId
Spannable EnumId
Print EnumId

data ModId Source

Constructors

ModIdIdent Span PosIdent

Instances

Eq ModId
Data ModId
Ord ModId
Read ModId
Show ModId
Typeable ModId
Generic ModId
Spannable ModId
Print ModId

data LocId Source

Constructors

LocIdIdent Span PosIdent

Instances

Eq LocId
Data LocId
Ord LocId
Read LocId
Show LocId
Typeable LocId
Generic LocId
Spannable LocId
Print LocId

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