Hets - the Heterogeneous Tool Set

Copyright(c) Klaus Luettich C. Maeder Uni Bremen 2005-2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable (overlapping Typeable instances)
Safe HaskellNone

Common.ATerm.ConvInstances

Contents

Description

This module provides instances of ShATermConvertible.

Orphan instances

ShATermConvertible Double Source # 

Methods

toShATermAux :: ATermTable -> Double -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Double] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Double)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Double])

ShATermConvertible Ordering Source # 

Methods

toShATermAux :: ATermTable -> Ordering -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Ordering] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Ordering)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Ordering])

ShATermConvertible TimeOfDay Source # 

Methods

toShATermAux :: ATermTable -> TimeOfDay -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [TimeOfDay] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, TimeOfDay)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [TimeOfDay])

ShATermConvertible ClockTime Source # 

Methods

toShATermAux :: ATermTable -> ClockTime -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [ClockTime] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, ClockTime)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [ClockTime])

ShATermConvertible a => ShATermConvertible (SizedList a) Source # 

Methods

toShATermAux :: ATermTable -> SizedList a -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SizedList a] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SizedList a)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SizedList a])

(Ord a, ShATermConvertible a) => ShATermConvertible (Rel a) Source # 

Methods

toShATermAux :: ATermTable -> Rel a -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Rel a] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Rel a)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Rel a])

(Ord a, ShATermConvertible a, Ord b, ShATermConvertible b) => ShATermConvertible (MapSet a b) Source # 

Methods

toShATermAux :: ATermTable -> MapSet a b -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [MapSet a b] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, MapSet a b)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [MapSet a b])

(Ord a, ShATermConvertible a, Ord b, ShATermConvertible b) => ShATermConvertible (InjMap a b) Source # 

Methods

toShATermAux :: ATermTable -> InjMap a b -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [InjMap a b] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, InjMap a b)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [InjMap a b])