| Safe Haskell | None |
|---|
NeSyPatterns.ATC_Relation
Contents
Orphan instances
| (ShATermConvertible a, ShATermConvertible b, Ord a, Ord b) => ShATermConvertible (Relation a b) Source # | |
Methods toShATermAux :: ATermTable -> Relation a b -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Relation a b] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Relation a b) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Relation a b]) | |