{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ViewPatterns #-}
module Data.SCargot.Repr.Rich
(
R.RichSExpr(..)
, R.toRich
, R.fromRich
, cons
, uncons
, pattern (:::)
, pattern A
, pattern L
, pattern DL
, pattern Nil
, _car
, _cdr
, fromPair
, fromList
, fromAtom
, asPair
, asList
, isAtom
, isNil
, asAtom
, asAssoc
, car
, cdr
) where
#if !MIN_VERSION_base(4,8,0)
import Control.Applicative (Applicative, (<$>), (<*>), pure)
#endif
import Data.SCargot.Repr as R
_car :: Applicative f => (RichSExpr a -> f (RichSExpr a)) -> RichSExpr a -> f (RichSExpr a)
_car :: forall (f :: * -> *) a.
Applicative f =>
(RichSExpr a -> f (RichSExpr a)) -> RichSExpr a -> f (RichSExpr a)
_car RichSExpr a -> f (RichSExpr a)
f (RSList (RichSExpr a
x:[RichSExpr a]
xs)) = (\ RichSExpr a
y -> [RichSExpr a] -> RichSExpr a
forall a. [RichSExpr a] -> RichSExpr a
L (RichSExpr a
yRichSExpr a -> [RichSExpr a] -> [RichSExpr a]
forall a. a -> [a] -> [a]
:[RichSExpr a]
xs)) (RichSExpr a -> RichSExpr a) -> f (RichSExpr a) -> f (RichSExpr a)
forall a b. (a -> b) -> f a -> f b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
`fmap` RichSExpr a -> f (RichSExpr a)
f RichSExpr a
x
_car RichSExpr a -> f (RichSExpr a)
f (RSDotted (RichSExpr a
x:[RichSExpr a]
xs) a
a) = (\ RichSExpr a
y -> [RichSExpr a] -> a -> RichSExpr a
forall a. [RichSExpr a] -> a -> RichSExpr a
DL (RichSExpr a
yRichSExpr a -> [RichSExpr a] -> [RichSExpr a]
forall a. a -> [a] -> [a]
:[RichSExpr a]
xs) a
a) (RichSExpr a -> RichSExpr a) -> f (RichSExpr a) -> f (RichSExpr a)
forall a b. (a -> b) -> f a -> f b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
`fmap` RichSExpr a -> f (RichSExpr a)
f RichSExpr a
x
_car RichSExpr a -> f (RichSExpr a)
_ (RSAtom a
a) = RichSExpr a -> f (RichSExpr a)
forall a. a -> f a
forall (f :: * -> *) a. Applicative f => a -> f a
pure (a -> RichSExpr a
forall a. a -> RichSExpr a
A a
a)
_car RichSExpr a -> f (RichSExpr a)
_ (RSList []) = RichSExpr a -> f (RichSExpr a)
forall a. a -> f a
forall (f :: * -> *) a. Applicative f => a -> f a
pure RichSExpr a
forall a. RichSExpr a
Nil
_car RichSExpr a -> f (RichSExpr a)
_ (RSDotted [] a
a) = RichSExpr a -> f (RichSExpr a)
forall a. a -> f a
forall (f :: * -> *) a. Applicative f => a -> f a
pure (a -> RichSExpr a
forall a. a -> RichSExpr a
A a
a)
_cdr :: Applicative f => (RichSExpr a -> f (RichSExpr a)) -> RichSExpr a -> f (RichSExpr a)
_cdr :: forall (f :: * -> *) a.
Applicative f =>
(RichSExpr a -> f (RichSExpr a)) -> RichSExpr a -> f (RichSExpr a)
_cdr RichSExpr a -> f (RichSExpr a)
f (RSList (RichSExpr a
x:[RichSExpr a]
xs)) =
let go :: RichSExpr a -> RichSExpr a
go (RSList []) = [RichSExpr a] -> RichSExpr a
forall a. [RichSExpr a] -> RichSExpr a
L [RichSExpr a
x]
go (RSAtom a
a) = [RichSExpr a] -> a -> RichSExpr a
forall a. [RichSExpr a] -> a -> RichSExpr a
DL [RichSExpr a
x] a
a
go (RSList [RichSExpr a]
xs') = [RichSExpr a] -> RichSExpr a
forall a. [RichSExpr a] -> RichSExpr a
L (RichSExpr a
xRichSExpr a -> [RichSExpr a] -> [RichSExpr a]
forall a. a -> [a] -> [a]
:[RichSExpr a]
xs')
go (RSDotted [RichSExpr a]
ys a
a') = [RichSExpr a] -> a -> RichSExpr a
forall a. [RichSExpr a] -> a -> RichSExpr a
DL (RichSExpr a
xRichSExpr a -> [RichSExpr a] -> [RichSExpr a]
forall a. a -> [a] -> [a]
:[RichSExpr a]
ys) a
a'
in RichSExpr a -> RichSExpr a
go (RichSExpr a -> RichSExpr a) -> f (RichSExpr a) -> f (RichSExpr a)
forall a b. (a -> b) -> f a -> f b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
`fmap` RichSExpr a -> f (RichSExpr a)
f ([RichSExpr a] -> RichSExpr a
forall a. [RichSExpr a] -> RichSExpr a
L [RichSExpr a]
xs)
_cdr RichSExpr a -> f (RichSExpr a)
f (RSDotted [RichSExpr a
x] a
a) =
let go :: RichSExpr a -> RichSExpr a
go (RSList []) = [RichSExpr a] -> RichSExpr a
forall a. [RichSExpr a] -> RichSExpr a
L [RichSExpr a
x]
go (RSAtom a
a') = [RichSExpr a] -> a -> RichSExpr a
forall a. [RichSExpr a] -> a -> RichSExpr a
DL [RichSExpr a
x] a
a'
go (RSList [RichSExpr a]
xs) = [RichSExpr a] -> RichSExpr a
forall a. [RichSExpr a] -> RichSExpr a
L (RichSExpr a
xRichSExpr a -> [RichSExpr a] -> [RichSExpr a]
forall a. a -> [a] -> [a]
:[RichSExpr a]
xs)
go (RSDotted [RichSExpr a]
ys a
a') = [RichSExpr a] -> a -> RichSExpr a
forall a. [RichSExpr a] -> a -> RichSExpr a
DL (RichSExpr a
xRichSExpr a -> [RichSExpr a] -> [RichSExpr a]
forall a. a -> [a] -> [a]
:[RichSExpr a]
ys) a
a'
in RichSExpr a -> RichSExpr a
go (RichSExpr a -> RichSExpr a) -> f (RichSExpr a) -> f (RichSExpr a)
forall a b. (a -> b) -> f a -> f b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
`fmap` RichSExpr a -> f (RichSExpr a)
f (a -> RichSExpr a
forall a. a -> RichSExpr a
A a
a)
_cdr RichSExpr a -> f (RichSExpr a)
f (RSDotted (RichSExpr a
x:[RichSExpr a]
xs) a
a) =
let go :: RichSExpr a -> RichSExpr a
go (RSList []) = [RichSExpr a] -> RichSExpr a
forall a. [RichSExpr a] -> RichSExpr a
L [RichSExpr a
x]
go (RSAtom a
a') = [RichSExpr a] -> a -> RichSExpr a
forall a. [RichSExpr a] -> a -> RichSExpr a
DL [RichSExpr a
x] a
a'
go (RSList [RichSExpr a]
ys) = [RichSExpr a] -> RichSExpr a
forall a. [RichSExpr a] -> RichSExpr a
L (RichSExpr a
xRichSExpr a -> [RichSExpr a] -> [RichSExpr a]
forall a. a -> [a] -> [a]
:[RichSExpr a]
ys)
go (RSDotted [RichSExpr a]
ys a
a') = [RichSExpr a] -> a -> RichSExpr a
forall a. [RichSExpr a] -> a -> RichSExpr a
DL (RichSExpr a
xRichSExpr a -> [RichSExpr a] -> [RichSExpr a]
forall a. a -> [a] -> [a]
:[RichSExpr a]
ys) a
a'
in RichSExpr a -> RichSExpr a
go (RichSExpr a -> RichSExpr a) -> f (RichSExpr a) -> f (RichSExpr a)
forall a b. (a -> b) -> f a -> f b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
`fmap` RichSExpr a -> f (RichSExpr a)
f ([RichSExpr a] -> a -> RichSExpr a
forall a. [RichSExpr a] -> a -> RichSExpr a
DL [RichSExpr a]
xs a
a)
_cdr RichSExpr a -> f (RichSExpr a)
_ (RSAtom a
a) = RichSExpr a -> f (RichSExpr a)
forall a. a -> f a
forall (f :: * -> *) a. Applicative f => a -> f a
pure (a -> RichSExpr a
forall a. a -> RichSExpr a
A a
a)
_cdr RichSExpr a -> f (RichSExpr a)
_ (RSList []) = RichSExpr a -> f (RichSExpr a)
forall a. a -> f a
forall (f :: * -> *) a. Applicative f => a -> f a
pure RichSExpr a
forall a. RichSExpr a
Nil
_cdr RichSExpr a -> f (RichSExpr a)
_ (RSDotted [] a
a) = RichSExpr a -> f (RichSExpr a)
forall a. a -> f a
forall (f :: * -> *) a. Applicative f => a -> f a
pure (a -> RichSExpr a
forall a. a -> RichSExpr a
A a
a)
uncons :: RichSExpr a -> Maybe (RichSExpr a, RichSExpr a)
uncons :: forall a. RichSExpr a -> Maybe (RichSExpr a, RichSExpr a)
uncons (R.RSList (RichSExpr a
x:[RichSExpr a]
xs)) = (RichSExpr a, RichSExpr a) -> Maybe (RichSExpr a, RichSExpr a)
forall a. a -> Maybe a
Just (RichSExpr a
x, [RichSExpr a] -> RichSExpr a
forall a. [RichSExpr a] -> RichSExpr a
R.RSList [RichSExpr a]
xs)
uncons (R.RSDotted (RichSExpr a
x:[RichSExpr a]
xs) a
a) = (RichSExpr a, RichSExpr a) -> Maybe (RichSExpr a, RichSExpr a)
forall a. a -> Maybe a
Just (RichSExpr a
x, [RichSExpr a] -> a -> RichSExpr a
forall a. [RichSExpr a] -> a -> RichSExpr a
R.RSDotted [RichSExpr a]
xs a
a)
uncons RichSExpr a
_ = Maybe (RichSExpr a, RichSExpr a)
forall a. Maybe a
Nothing
cons :: RichSExpr a -> RichSExpr a -> RichSExpr a
cons :: forall a. RichSExpr a -> RichSExpr a -> RichSExpr a
cons RichSExpr a
x (R.RSList [RichSExpr a]
xs) = [RichSExpr a] -> RichSExpr a
forall a. [RichSExpr a] -> RichSExpr a
R.RSList (RichSExpr a
xRichSExpr a -> [RichSExpr a] -> [RichSExpr a]
forall a. a -> [a] -> [a]
:[RichSExpr a]
xs)
cons RichSExpr a
x (R.RSDotted [RichSExpr a]
xs a
a) = [RichSExpr a] -> a -> RichSExpr a
forall a. [RichSExpr a] -> a -> RichSExpr a
R.RSDotted (RichSExpr a
xRichSExpr a -> [RichSExpr a] -> [RichSExpr a]
forall a. a -> [a] -> [a]
:[RichSExpr a]
xs) a
a
cons RichSExpr a
x (R.RSAtom a
a) = [RichSExpr a] -> a -> RichSExpr a
forall a. [RichSExpr a] -> a -> RichSExpr a
R.RSDotted [RichSExpr a
x] a
a
#if MIN_VERSION_base(4,8,0)
pattern (:::) :: RichSExpr a -> RichSExpr a -> RichSExpr a
#endif
pattern x $m::: :: forall {r} {a}.
RichSExpr a
-> (RichSExpr a -> RichSExpr a -> r) -> ((# #) -> r) -> r
$b::: :: forall a. RichSExpr a -> RichSExpr a -> RichSExpr a
::: xs <- (uncons -> Just (x, xs))
#if MIN_VERSION_base(4,8,0)
where RichSExpr a
x ::: RichSExpr a
xs = RichSExpr a -> RichSExpr a -> RichSExpr a
forall a. RichSExpr a -> RichSExpr a -> RichSExpr a
cons RichSExpr a
x RichSExpr a
xs
#endif
#if MIN_VERSION_base(4,8,0)
pattern A :: a -> RichSExpr a
#endif
pattern $mA :: forall {r} {a}. RichSExpr a -> (a -> r) -> ((# #) -> r) -> r
$bA :: forall a. a -> RichSExpr a
A a = R.RSAtom a
#if MIN_VERSION_base(4,8,0)
pattern L :: [RichSExpr a] -> RichSExpr a
#endif
pattern $mL :: forall {r} {a}.
RichSExpr a -> ([RichSExpr a] -> r) -> ((# #) -> r) -> r
$bL :: forall a. [RichSExpr a] -> RichSExpr a
L xs = R.RSList xs
#if MIN_VERSION_base(4,8,0)
pattern DL :: [RichSExpr a] -> a -> RichSExpr a
#endif
pattern $mDL :: forall {r} {a}.
RichSExpr a -> ([RichSExpr a] -> a -> r) -> ((# #) -> r) -> r
$bDL :: forall a. [RichSExpr a] -> a -> RichSExpr a
DL xs x = R.RSDotted xs x
#if MIN_VERSION_base(4,8,0)
pattern Nil :: RichSExpr a
#endif
pattern $mNil :: forall {r} {a}. RichSExpr a -> ((# #) -> r) -> ((# #) -> r) -> r
$bNil :: forall a. RichSExpr a
Nil = R.RSList []
fromPair :: (RichSExpr t -> Either String a)
-> (RichSExpr t -> Either String b)
-> RichSExpr t -> Either String (a, b)
fromPair :: forall t a b.
(RichSExpr t -> Either String a)
-> (RichSExpr t -> Either String b)
-> RichSExpr t
-> Either String (a, b)
fromPair RichSExpr t -> Either String a
pl RichSExpr t -> Either String b
pr = ((RichSExpr t, RichSExpr t) -> Either String (a, b))
-> RichSExpr t -> Either String (a, b)
forall t a.
((RichSExpr t, RichSExpr t) -> Either String a)
-> RichSExpr t -> Either String a
asPair (((RichSExpr t, RichSExpr t) -> Either String (a, b))
-> RichSExpr t -> Either String (a, b))
-> ((RichSExpr t, RichSExpr t) -> Either String (a, b))
-> RichSExpr t
-> Either String (a, b)
forall a b. (a -> b) -> a -> b
$ \(RichSExpr t
l,RichSExpr t
r) -> (,) (a -> b -> (a, b))
-> Either String a -> Either String (b -> (a, b))
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> RichSExpr t -> Either String a
pl RichSExpr t
l Either String (b -> (a, b))
-> Either String b -> Either String (a, b)
forall a b.
Either String (a -> b) -> Either String a -> Either String b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> RichSExpr t -> Either String b
pr RichSExpr t
r
fromList :: (RichSExpr t -> Either String a) -> RichSExpr t -> Either String [a]
fromList :: forall t a.
(RichSExpr t -> Either String a)
-> RichSExpr t -> Either String [a]
fromList RichSExpr t -> Either String a
p = ([RichSExpr t] -> Either String [a])
-> RichSExpr t -> Either String [a]
forall t a.
([RichSExpr t] -> Either String a)
-> RichSExpr t -> Either String a
asList (([RichSExpr t] -> Either String [a])
-> RichSExpr t -> Either String [a])
-> ([RichSExpr t] -> Either String [a])
-> RichSExpr t
-> Either String [a]
forall a b. (a -> b) -> a -> b
$ \[RichSExpr t]
ss -> (RichSExpr t -> Either String a)
-> [RichSExpr t] -> Either String [a]
forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
forall (m :: * -> *) a b. Monad m => (a -> m b) -> [a] -> m [b]
mapM RichSExpr t -> Either String a
p [RichSExpr t]
ss
fromAtom :: RichSExpr t -> Either String t
fromAtom :: forall t. RichSExpr t -> Either String t
fromAtom (RSList [RichSExpr t]
_) = String -> Either String t
forall a b. a -> Either a b
Left String
"fromAtom: expected atom; found list"
fromAtom (RSDotted [RichSExpr t]
_ t
_) = String -> Either String t
forall a b. a -> Either a b
Left String
"fromAtom: expected atom; found dotted list"
fromAtom (RSAtom t
a) = t -> Either String t
forall a. a -> Either String a
forall (m :: * -> *) a. Monad m => a -> m a
return t
a
asPair :: ((RichSExpr t, RichSExpr t) -> Either String a)
-> RichSExpr t -> Either String a
asPair :: forall t a.
((RichSExpr t, RichSExpr t) -> Either String a)
-> RichSExpr t -> Either String a
asPair (RichSExpr t, RichSExpr t) -> Either String a
f (RSList [RichSExpr t
l, RichSExpr t
r]) = (RichSExpr t, RichSExpr t) -> Either String a
f (RichSExpr t
l, RichSExpr t
r)
asPair (RichSExpr t, RichSExpr t) -> Either String a
_ (RSList [RichSExpr t]
ls) = String -> Either String a
forall a b. a -> Either a b
Left (String
"asPair: expected two-element list; found list of lenght " String -> String -> String
forall a. [a] -> [a] -> [a]
++ Int -> String
forall a. Show a => a -> String
show ([RichSExpr t] -> Int
forall a. [a] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length [RichSExpr t]
ls))
asPair (RichSExpr t, RichSExpr t) -> Either String a
_ RSDotted {} = String -> Either String a
forall a b. a -> Either a b
Left (String
"asPair: expected two-element list; found dotted list")
asPair (RichSExpr t, RichSExpr t) -> Either String a
_ RSAtom {} = String -> Either String a
forall a b. a -> Either a b
Left (String
"asPair: expected two-element list; found atom")
asList :: ([RichSExpr t] -> Either String a)
-> RichSExpr t -> Either String a
asList :: forall t a.
([RichSExpr t] -> Either String a)
-> RichSExpr t -> Either String a
asList [RichSExpr t] -> Either String a
f (RSList [RichSExpr t]
ls) = [RichSExpr t] -> Either String a
f [RichSExpr t]
ls
asList [RichSExpr t] -> Either String a
_ RSDotted {} = String -> Either String a
forall a b. a -> Either a b
Left (String
"asList: expected list; found dotted list")
asList [RichSExpr t] -> Either String a
_ RSAtom { } = String -> Either String a
forall a b. a -> Either a b
Left (String
"asList: expected list; found dotted list")
isAtom :: Eq t => t -> RichSExpr t -> Either String ()
isAtom :: forall t. Eq t => t -> RichSExpr t -> Either String ()
isAtom t
s (RSAtom t
s')
| t
s t -> t -> Bool
forall a. Eq a => a -> a -> Bool
== t
s' = () -> Either String ()
forall a. a -> Either String a
forall (m :: * -> *) a. Monad m => a -> m a
return ()
| Bool
otherwise = String -> Either String ()
forall a b. a -> Either a b
Left String
"isAtom: failed to match atom"
isAtom t
_ RSList {} = String -> Either String ()
forall a b. a -> Either a b
Left String
"isAtom: expected atom; found list"
isAtom t
_ RSDotted {} = String -> Either String ()
forall a b. a -> Either a b
Left String
"isAtom: expected atom; found dotted list"
isNil :: RichSExpr t -> Either String ()
isNil :: forall t. RichSExpr t -> Either String ()
isNil (RSList []) = () -> Either String ()
forall a. a -> Either String a
forall (m :: * -> *) a. Monad m => a -> m a
return ()
isNil RSList {} = String -> Either String ()
forall a b. a -> Either a b
Left String
"isNil: expected nil; found non-nil list"
isNil RSDotted {} = String -> Either String ()
forall a b. a -> Either a b
Left String
"isNil: expected nil; found dotted list"
isNil RSAtom {} = String -> Either String ()
forall a b. a -> Either a b
Left String
"isNil: expected nil; found atom"
asAtom :: (t -> Either String a) -> RichSExpr t -> Either String a
asAtom :: forall t a.
(t -> Either String a) -> RichSExpr t -> Either String a
asAtom t -> Either String a
f (RSAtom t
s) = t -> Either String a
f t
s
asAtom t -> Either String a
_ RSList {} = String -> Either String a
forall a b. a -> Either a b
Left (String
"asAtom: expected atom; found list")
asAtom t -> Either String a
_ RSDotted {} = String -> Either String a
forall a b. a -> Either a b
Left (String
"asAtom: expected atom; found dotted list")
asAssoc :: ([(RichSExpr t, RichSExpr t)] -> Either String a)
-> RichSExpr t -> Either String a
asAssoc :: forall t a.
([(RichSExpr t, RichSExpr t)] -> Either String a)
-> RichSExpr t -> Either String a
asAssoc [(RichSExpr t, RichSExpr t)] -> Either String a
f (RSList [RichSExpr t]
ss) = [RichSExpr t] -> Either String [(RichSExpr t, RichSExpr t)]
forall {atom}.
[RichSExpr atom]
-> Either String [(RichSExpr atom, RichSExpr atom)]
gatherPairs [RichSExpr t]
ss Either String [(RichSExpr t, RichSExpr t)]
-> ([(RichSExpr t, RichSExpr t)] -> Either String a)
-> Either String a
forall a b.
Either String a -> (a -> Either String b) -> Either String b
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= [(RichSExpr t, RichSExpr t)] -> Either String a
f
where gatherPairs :: [RichSExpr atom]
-> Either String [(RichSExpr atom, RichSExpr atom)]
gatherPairs (RSList [RichSExpr atom
a, RichSExpr atom
b] : [RichSExpr atom]
ts) = (:) ((RichSExpr atom, RichSExpr atom)
-> [(RichSExpr atom, RichSExpr atom)]
-> [(RichSExpr atom, RichSExpr atom)])
-> Either String (RichSExpr atom, RichSExpr atom)
-> Either
String
([(RichSExpr atom, RichSExpr atom)]
-> [(RichSExpr atom, RichSExpr atom)])
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (RichSExpr atom, RichSExpr atom)
-> Either String (RichSExpr atom, RichSExpr atom)
forall a. a -> Either String a
forall (f :: * -> *) a. Applicative f => a -> f a
pure (RichSExpr atom
a, RichSExpr atom
b) Either
String
([(RichSExpr atom, RichSExpr atom)]
-> [(RichSExpr atom, RichSExpr atom)])
-> Either String [(RichSExpr atom, RichSExpr atom)]
-> Either String [(RichSExpr atom, RichSExpr atom)]
forall a b.
Either String (a -> b) -> Either String a -> Either String b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> [RichSExpr atom]
-> Either String [(RichSExpr atom, RichSExpr atom)]
gatherPairs [RichSExpr atom]
ts
gatherPairs [] = [(RichSExpr atom, RichSExpr atom)]
-> Either String [(RichSExpr atom, RichSExpr atom)]
forall a. a -> Either String a
forall (f :: * -> *) a. Applicative f => a -> f a
pure []
gatherPairs (RSAtom {} : [RichSExpr atom]
_) = String -> Either String [(RichSExpr atom, RichSExpr atom)]
forall a b. a -> Either a b
Left (String
"asAssoc: expected pair; found atom")
gatherPairs (RSDotted {} : [RichSExpr atom]
_) = String -> Either String [(RichSExpr atom, RichSExpr atom)]
forall a b. a -> Either a b
Left (String
"asAssoc: expected pair; found dotted list")
gatherPairs (RSList [RichSExpr atom]
ls : [RichSExpr atom]
_) = String -> Either String [(RichSExpr atom, RichSExpr atom)]
forall a b. a -> Either a b
Left (String
"asAssoc: expected pair; found list of length " String -> String -> String
forall a. [a] -> [a] -> [a]
++ Int -> String
forall a. Show a => a -> String
show ([RichSExpr atom] -> Int
forall a. [a] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length [RichSExpr atom]
ls))
asAssoc [(RichSExpr t, RichSExpr t)] -> Either String a
_ RSDotted {} = String -> Either String a
forall a b. a -> Either a b
Left String
"asAssoc: expected assoc list; found dotted list"
asAssoc [(RichSExpr t, RichSExpr t)] -> Either String a
_ RSAtom {} = String -> Either String a
forall a b. a -> Either a b
Left String
"asAssoc: expected assoc list; found atom"
car :: (RichSExpr t -> Either String t') -> [RichSExpr t] -> Either String t'
car :: forall t t'.
(RichSExpr t -> Either String t')
-> [RichSExpr t] -> Either String t'
car RichSExpr t -> Either String t'
f (RichSExpr t
x:[RichSExpr t]
_) = RichSExpr t -> Either String t'
f RichSExpr t
x
car RichSExpr t -> Either String t'
_ [] = String -> Either String t'
forall a b. a -> Either a b
Left String
"car: Taking car of zero-element list"
cdr :: ([RichSExpr t] -> Either String t') -> [RichSExpr t] -> Either String t'
cdr :: forall t t'.
([RichSExpr t] -> Either String t')
-> [RichSExpr t] -> Either String t'
cdr [RichSExpr t] -> Either String t'
f (RichSExpr t
_:[RichSExpr t]
xs) = [RichSExpr t] -> Either String t'
f [RichSExpr t]
xs
cdr [RichSExpr t] -> Either String t'
_ [] = String -> Either String t'
forall a b. a -> Either a b
Left String
"cdr: Taking cdr of zero-element list"