Hets - the Heterogeneous Tool Set

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

TopHybrid.Utilities

Description

Description : List of utilities for Hybridized logic

Synopsis

Documentation

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

Builds a map from a list of tuples

msgsList :: [(Int, String)]

List of message errors

msgs :: Map Int String

Message errors as map

gErr :: String

The generic error message

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

Lifter of the mkNamed function

maybeE :: Int -> Maybe a -> a

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

mkHint :: a -> String -> Result a