Safe Haskell	Safe
Language	Haskell2010

Language.Clafer.Front.AbsClafer

Documentation

data Pos Source

Constructors

Pos Integer Integer

Instances

Eq Pos Source
Data Pos Source
Ord Pos Source
Read Pos Source
Show Pos Source
Generic Pos Source
type Rep Pos Source

noPos :: Pos Source

data Span Source

Constructors

Span Pos Pos

Instances

Eq Span Source
Data Span Source
Ord Span Source
Read Span Source
Show Span Source
Generic Span Source
type Rep Span Source

noSpan :: Span Source

class Spannable n where Source

Methods

getSpan :: n -> Span Source

Instances

Spannable LocId Source
Spannable ModId Source
Spannable EnumId Source
Spannable Quant Source
Spannable Decl Source
Spannable Exp Source
Spannable Name Source
Spannable ExInteger Source
Spannable NCard Source
Spannable Card Source
Spannable GCard Source
Spannable InitHow Source
Spannable Init Source
Spannable Reference Source
Spannable Super Source
Spannable Element Source
Spannable Elements Source
Spannable Abstract Source
Spannable Goal Source
Spannable Assertion Source
Spannable Constraint Source
Spannable Clafer Source
Spannable Declaration Source
Spannable Module Source
Spannable PosChoco Source
Spannable PosAlloy Source
Spannable PosBlockComment Source
Spannable PosLineComment Source
Spannable PosIdent Source
Spannable PosString Source
Spannable PosReal Source
Spannable PosDouble Source
Spannable PosInteger Source
Spannable n => Spannable [n] Source

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

len :: [a] -> Integer Source

newtype PosInteger Source

Constructors

PosInteger ((Int, Int), String)

newtype PosDouble Source

Constructors

PosDouble ((Int, Int), String)

newtype PosReal Source

Constructors

PosReal ((Int, Int), String)

Instances

Eq PosReal Source
Data PosReal Source
Ord PosReal Source
Read PosReal Source
Show PosReal Source
Generic PosReal Source
Spannable PosReal Source
Print PosReal Source
type Rep PosReal Source

newtype PosString Source

Constructors

PosString ((Int, Int), String)

newtype PosIdent Source

Constructors

PosIdent ((Int, Int), String)

newtype PosLineComment Source

Constructors

PosLineComment ((Int, Int), String)

newtype PosBlockComment Source

Constructors

PosBlockComment ((Int, Int), String)

newtype PosAlloy Source

Constructors

PosAlloy ((Int, Int), String)

newtype PosChoco Source

Constructors

PosChoco ((Int, Int), String)

data Module Source

Constructors

Module Span [Declaration]

Instances

Eq Module Source
Data Module Source
Ord Module Source
Read Module Source
Show Module Source
Generic Module Source
Spannable Module Source
Print Module Source
type Rep Module Source

data Declaration Source

Constructors

EnumDecl Span PosIdent [EnumId]
ElementDecl Span Element

data Clafer Source

Constructors

Clafer Span Abstract GCard PosIdent Super Reference Card Init Elements

Instances

Eq Clafer Source
Data Clafer Source
Ord Clafer Source
Read Clafer Source
Show Clafer Source
Generic Clafer Source
Spannable Clafer Source
Print Clafer Source
type Rep Clafer Source

data Constraint Source

Constructors

Constraint Span [Exp]

data Assertion Source

Constructors

Assertion Span [Exp]

data Goal Source

Constructors

GoalMinDeprecated Span [Exp]
GoalMaxDeprecated Span [Exp]
GoalMinimize Span [Exp]
GoalMaximize Span [Exp]

Instances

Eq Goal Source
Data Goal Source
Ord Goal Source
Read Goal Source
Show Goal Source
Generic Goal Source
Spannable Goal Source
Print Goal Source
type Rep Goal Source

data Abstract Source

Constructors

AbstractEmpty Span
Abstract Span

data Elements Source

Constructors

ElementsEmpty Span
ElementsList Span [Element]

data Element Source

Constructors

Subclafer Span Clafer
ClaferUse Span Name Card Elements
Subconstraint Span Constraint
Subgoal Span Goal
SubAssertion Span Assertion

Instances

Eq Element Source
Data Element Source
Ord Element Source
Read Element Source
Show Element Source
Generic Element Source
Spannable Element Source
Print Element Source
type Rep Element Source

data Super Source

Constructors

SuperEmpty Span
SuperSome Span Exp

Instances

Eq Super Source
Data Super Source
Ord Super Source
Read Super Source
Show Super Source
Generic Super Source
Spannable Super Source
Print Super Source
type Rep Super Source

data Reference Source

Constructors

ReferenceEmpty Span
ReferenceSet Span Exp
ReferenceBag Span Exp

data Init Source

Constructors

InitEmpty Span
InitSome Span InitHow Exp

Instances

Eq Init Source
Data Init Source
Ord Init Source
Read Init Source
Show Init Source
Generic Init Source
Spannable Init Source
Print Init Source
type Rep Init Source

data InitHow Source

Constructors

InitConstant Span
InitDefault Span

Instances

Eq InitHow Source
Data InitHow Source
Ord InitHow Source
Read InitHow Source
Show InitHow Source
Generic InitHow Source
Spannable InitHow Source
Print InitHow Source
type Rep InitHow Source

data GCard Source

Constructors

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

Instances

Eq GCard Source
Data GCard Source
Ord GCard Source
Read GCard Source
Show GCard Source
Generic GCard Source
Spannable GCard Source
Print GCard Source
type Rep GCard Source

data Card Source

Constructors

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

Instances

Eq Card Source
Data Card Source
Ord Card Source
Read Card Source
Show Card Source
Generic Card Source
Spannable Card Source
Print Card Source
type Rep Card Source

data NCard Source

Constructors

NCard Span PosInteger ExInteger

Instances

Eq NCard Source
Data NCard Source
Ord NCard Source
Read NCard Source
Show NCard Source
Generic NCard Source
Spannable NCard Source
Print NCard Source
type Rep NCard Source

data ExInteger Source

Constructors

ExIntegerAst Span
ExIntegerNum Span PosInteger

data Name Source

Constructors

Path Span [ModId]

Instances

Eq Name Source
Data Name Source
Ord Name Source
Read Name Source
Show Name Source
Generic Name Source
Spannable Name Source
Print Name Source
type Rep Name Source

data Exp Source

Constructors

EDeclAllDisj Span Decl Exp
EDeclAll Span Decl Exp
EDeclQuantDisj Span Quant Decl Exp
EDeclQuant Span Quant Decl Exp
EImpliesElse Span Exp Exp 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
EQuantExp Span Quant Exp
EAdd Span Exp Exp
ESub Span Exp Exp
EMul Span Exp Exp
EDiv Span Exp Exp
ERem Span Exp Exp
EGMax Span Exp
EGMin Span Exp
ESum Span Exp
EProd Span Exp
ECard Span Exp
EMinExp Span Exp
EDomain Span Exp Exp
ERange Span Exp Exp
EUnion Span Exp Exp
EUnionCom Span Exp Exp
EDifference Span Exp Exp
EIntersection Span Exp Exp
EIntersectionDeprecated Span Exp Exp
EJoin Span Exp Exp
ClaferId Span Name
EInt Span PosInteger
EDouble Span PosDouble
EReal Span PosReal
EStr Span PosString

Instances

Eq Exp Source
Data Exp Source
Ord Exp Source
Read Exp Source
Show Exp Source
Generic Exp Source
Spannable Exp Source
Print Exp Source
type Rep Exp Source

data Decl Source

Constructors

Decl Span [LocId] Exp

Instances

Eq Decl Source
Data Decl Source
Ord Decl Source
Read Decl Source
Show Decl Source
Generic Decl Source
Spannable Decl Source
Print Decl Source
type Rep Decl Source

data Quant Source

Constructors

QuantNo Span
QuantNot Span
QuantLone Span
QuantOne Span
QuantSome Span

Instances

Eq Quant Source
Data Quant Source
Ord Quant Source
Read Quant Source
Show Quant Source
Generic Quant Source
Spannable Quant Source
Print Quant Source
type Rep Quant Source

data EnumId Source

Constructors

EnumIdIdent Span PosIdent

Instances

Eq EnumId Source
Data EnumId Source
Ord EnumId Source
Read EnumId Source
Show EnumId Source
Generic EnumId Source
Spannable EnumId Source
Print EnumId Source
type Rep EnumId Source

data ModId Source

Constructors

ModIdIdent Span PosIdent

Instances

Eq ModId Source
Data ModId Source
Ord ModId Source
Read ModId Source
Show ModId Source
Generic ModId Source
Spannable ModId Source
Print ModId Source
type Rep ModId Source

data LocId Source

Constructors

LocIdIdent Span PosIdent

Instances

Eq LocId Source
Data LocId Source
Ord LocId Source
Read LocId Source
Show LocId Source
Generic LocId Source
Spannable LocId Source
Print LocId Source
type Rep LocId Source

Eq PosInteger Source
Data PosInteger Source
Ord PosInteger Source
Read PosInteger Source
Show PosInteger Source
Generic PosInteger Source
Spannable PosInteger Source
Print PosInteger Source
type Rep PosInteger Source

Eq PosDouble Source
Data PosDouble Source
Ord PosDouble Source
Read PosDouble Source
Show PosDouble Source
Generic PosDouble Source
Spannable PosDouble Source
Print PosDouble Source
type Rep PosDouble Source

Eq PosString Source
Data PosString Source
Ord PosString Source
Read PosString Source
Show PosString Source
Generic PosString Source
Spannable PosString Source
Print PosString Source
type Rep PosString Source

Eq PosIdent Source
Data PosIdent Source
Ord PosIdent Source
Read PosIdent Source
Show PosIdent Source
Generic PosIdent Source
Spannable PosIdent Source
Print PosIdent Source
type Rep PosIdent Source

Eq PosLineComment Source
Data PosLineComment Source
Ord PosLineComment Source
Read PosLineComment Source
Show PosLineComment Source
Generic PosLineComment Source
Spannable PosLineComment Source
Print PosLineComment Source
type Rep PosLineComment Source

Eq PosBlockComment Source
Data PosBlockComment Source
Ord PosBlockComment Source
Read PosBlockComment Source
Show PosBlockComment Source
Generic PosBlockComment Source
Spannable PosBlockComment Source
Print PosBlockComment Source
type Rep PosBlockComment Source

Eq PosAlloy Source
Data PosAlloy Source
Ord PosAlloy Source
Read PosAlloy Source
Show PosAlloy Source
Generic PosAlloy Source
Spannable PosAlloy Source
Print PosAlloy Source
type Rep PosAlloy Source

Eq PosChoco Source
Data PosChoco Source
Ord PosChoco Source
Read PosChoco Source
Show PosChoco Source
Generic PosChoco Source
Spannable PosChoco Source
Print PosChoco Source
type Rep PosChoco Source

Eq Declaration Source
Data Declaration Source
Ord Declaration Source
Read Declaration Source
Show Declaration Source
Generic Declaration Source
Spannable Declaration Source
Print Declaration Source
type Rep Declaration Source

Eq Constraint Source
Data Constraint Source
Ord Constraint Source
Read Constraint Source
Show Constraint Source
Generic Constraint Source
Spannable Constraint Source
Print Constraint Source
type Rep Constraint Source

Eq Assertion Source
Data Assertion Source
Ord Assertion Source
Read Assertion Source
Show Assertion Source
Generic Assertion Source
Spannable Assertion Source
Print Assertion Source
type Rep Assertion Source

Eq Abstract Source
Data Abstract Source
Ord Abstract Source
Read Abstract Source
Show Abstract Source
Generic Abstract Source
Spannable Abstract Source
Print Abstract Source
type Rep Abstract Source

Eq Elements Source
Data Elements Source
Ord Elements Source
Read Elements Source
Show Elements Source
Generic Elements Source
Spannable Elements Source
Print Elements Source
type Rep Elements Source

Eq Reference Source
Data Reference Source
Ord Reference Source
Read Reference Source
Show Reference Source
Generic Reference Source
Spannable Reference Source
Print Reference Source
type Rep Reference Source

Eq ExInteger Source
Data ExInteger Source
Ord ExInteger Source
Read ExInteger Source
Show ExInteger Source
Generic ExInteger Source
Spannable ExInteger Source
Print ExInteger Source
type Rep ExInteger Source