Hets - the Heterogeneous Tool Set
Copyright(c) Kristina Sojakova DFKI Bremen 2009
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerk.sojakova@jacobs-university.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe

DFOL.Utils

Description

 

Documentation

truePrec :: Int Source #

falsePrec :: Int Source #

predPrec :: Int Source #

equalPrec :: Int Source #

negPrec :: Int Source #

conjPrec :: Int Source #

disjPrec :: Int Source #

implPrec :: Int Source #

equivPrec :: Int Source #

forallPrec :: Int Source #

existsPrec :: Int Source #

sortPrec :: Int Source #

formPrec :: Int Source #

univPrec :: Int Source #

funcPrec :: Int Source #

piPrec :: Int Source #

data DIAGN a Source #

Constructors

Diagn 

Fields

Instances

Instances details
Eq a => Eq (DIAGN a) Source # 
Instance details

Defined in DFOL.Utils

Methods

(==) :: DIAGN a -> DIAGN a -> Bool

(/=) :: DIAGN a -> DIAGN a -> Bool

Show a => Show (DIAGN a) Source # 
Instance details

Defined in DFOL.Utils

Methods

showsPrec :: Int -> DIAGN a -> ShowS

show :: DIAGN a -> String

showList :: [DIAGN a] -> ShowS

andD :: [DIAGN Bool] -> DIAGN Bool Source #