liquid-fixpoint-0.3.0.0: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

Safe HaskellNone
LanguageHaskell98

Language.Fixpoint.Names

Contents

Description

This module contains Haskell variables representing globally visible names. Rather than have strings floating around the system, all constant names should be defined here, and the (exported) variables should be used and manipulated elsewhere.

Synopsis

Symbols

class Symbolic a where Source

Values that can be viewed as Symbols

Methods

symbol :: a -> Symbol Source

Instances

Symbolic String 
Symbolic Text 
Symbolic InternedText 
Symbolic Symbol 
Symbolic SymConst

Replace all symbol-representations-of-string-literals with string-literal Used to transform parsed output from fixpoint back into fq.

Symbolic a => Symbolic (Located a) 

Creating Symbols

Hardwired global names