liquid-fixpoint-0.2.1.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

Creating Symbols

Hardwired global names