Copyright	(c) Klaus Luettich C. Maeder Uni Bremen 2005-2006
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	non-portable (overlapping Typeable instances)
Safe Haskell	None

Common.ATerm.ConvInstances

Contents

Orphan instances

Description

This module provides instances of ShATermConvertible.

Orphan instances

ShATermConvertible Double Source #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details Methods toShATermAux :: ATermTable -> ClockTime -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ClockTime] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ClockTime) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ClockTime])
(Ord a, ShATermConvertible a) => ShATermConvertible (Rel a) Source #
Instance details 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])
ShATermConvertible a => ShATermConvertible (SizedList a) Source #
Instance details 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, Ord b, ShATermConvertible b) => ShATermConvertible (InjMap a b) Source #
Instance details 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])
(Ord a, ShATermConvertible a, Ord b, ShATermConvertible b) => ShATermConvertible (MapSet a b) Source #
Instance details 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])