Hets - the Heterogeneous Tool Set

LicenseGPLv2 or higher, see LICENSE.txt
Maintainernevrenato@gmail.com
Stabilitystable
Portabilityportable
Safe HaskellSafe

TopHybrid.Utilities

Description

Description : List of utilities for Hybridized logic

Synopsis

Documentation

buildMapFromList :: Ord a => [(a, b)] -> Map a b Source #

Builds a map from a list of tuples

msgsList :: [(Int, String)] Source #

List of message errors

msgs :: Map Int String Source #

Message errors as map

gErr :: String Source #

The generic error message

liftName :: Monad m => String -> m a -> m (Named a) Source #

Lifter of the mkNamed function

maybeE :: Int -> Maybe a -> a Source #

Checks if a given computation was sucessfull, if not gives an error message Must i need this ?

mkHint :: a -> String -> Result a Source #