| Safe Haskell | None |
|---|
ATerm.Generics
- class GToATerm f where
- class GToATerms f where
- class ToATerm a where
- toATerm :: a -> ATerm
- toATermList :: [a] -> ATerm
- integralToATerm :: Integral a => a -> ATerm
- showToATerm :: Show a => a -> ATerm
- listToATerm :: ToATerm a => [a] -> ATerm
- stringToATerm :: String -> ATerm
- tupleToATerm :: (ToATerm a, ToATerm b) => (a, b) -> ATerm
- tripleToATerm :: (ToATerm a, ToATerm b, ToATerm c) => (a, b, c) -> ATerm
- class FromATerm a where
- atermToIntegral :: Integral a => ATerm -> Maybe a
- atermToRead :: Read a => ATerm -> Maybe a
- atermToString :: ATerm -> Maybe String
- atermToList :: FromATerm a => ATerm -> Maybe [a]
- atermToTuple :: (FromATerm a, FromATerm b) => ATerm -> Maybe (a, b)
- atermToTriple :: (FromATerm a, FromATerm b, FromATerm c) => ATerm -> Maybe (a, b, c)
- class GFromATerm f where
- gFromATerm :: ATerm -> Maybe (f a)
- gFromATerms' :: GFromATerms f => [ATerm] -> Maybe (f a)
- next :: FromATerm a => StateT [ATerm] Maybe a
- class GFromATerms f where
- gFromATerms :: StateT [ATerm] Maybe (f a)
Documentation
Instances
integralToATerm :: Integral a => a -> ATermSource
showToATerm :: Show a => a -> ATermSource
listToATerm :: ToATerm a => [a] -> ATermSource
stringToATerm :: String -> ATermSource
tupleToATerm :: (ToATerm a, ToATerm b) => (a, b) -> ATermSource
Instances
| FromATerm Bool | |
| FromATerm Char | |
| FromATerm Double | |
| FromATerm Float | |
| FromATerm Int | |
| FromATerm Integer | |
| FromATerm () | |
| FromATerm a => FromATerm [a] | |
| FromATerm a => FromATerm (Maybe a) | |
| (FromATerm a, FromATerm b) => FromATerm (Either a b) | |
| (FromATerm a, FromATerm b) => FromATerm (a, b) | |
| (FromATerm a, FromATerm b, FromATerm c) => FromATerm (a, b, c) |
atermToIntegral :: Integral a => ATerm -> Maybe aSource
atermToRead :: Read a => ATerm -> Maybe aSource
atermToString :: ATerm -> Maybe StringSource
atermToList :: FromATerm a => ATerm -> Maybe [a]Source
class GFromATerm f whereSource
Methods
gFromATerm :: ATerm -> Maybe (f a)Source
Instances
| (GFromATerm f, GFromATerm g) => GFromATerm (:+: f g) | |
| GFromATerm a => GFromATerm (D1 c a) | |
| (Constructor c, GFromATerms a) => GFromATerm (C1 c a) |
gFromATerms' :: GFromATerms f => [ATerm] -> Maybe (f a)Source
Convert all the ATerm elements into the requested structure
next :: FromATerm a => StateT [ATerm] Maybe aSource
Convert the next ATerm to the next needed field type
class GFromATerms f whereSource
Methods
gFromATerms :: StateT [ATerm] Maybe (f a)Source
Instances
| GFromATerms U1 | |
| FromATerm a => GFromATerms (Rec0 a) | |
| (GFromATerms f, GFromATerms g) => GFromATerms (:*: f g) | |
| GFromATerms f => GFromATerms (S1 i f) |