@@ -1,5 +1,8 @@
1{-# LANGUAGE DefaultSignatures #-}
1{-# LANGUAGE DefaultSignatures #-}
2{-# LANGUAGE DerivingStrategies #-}
2{-# LANGUAGE DerivingStrategies #-}
3+{-# LANGUAGE StandaloneDeriving #-}
4+{-# LANGUAGE DerivingVia #-}
4module Roboservant.Types.Breakdown where
7module Roboservant.Types.Breakdown where
@@ -8,6 +11,7 @@ import Data.List.NonEmpty (NonEmpty (..))
8import qualified Data.List.NonEmpty as NEL
11import qualified Data.List.NonEmpty as NEL
9import Data.Maybe (fromMaybe)
12import Data.Maybe (fromMaybe)
10import Data.Typeable (Typeable)
13import Data.Typeable (Typeable)
14+import Roboservant.Types.Internal
12-- | only use this when we are using the internal typerep map.
16-- | only use this when we are using the internal typerep map.
13promisedDyn :: Typeable a => Dynamic -> a
17promisedDyn :: Typeable a => Dynamic -> a
@@ -15,20 +19,15 @@ promisedDyn = fromMaybe (error "internal error, typerep map misconstructed") . f
16class Breakdown x where
20class Breakdown x where
17 breakdown :: x -> NonEmpty Dynamic
21 breakdown :: x -> NonEmpty Dynamic
18− default breakdown :: Typeable x => x -> NonEmpty Dynamic
22+-- default breakdown :: Typeable x => x -> NonEmpty Dynamic
19− breakdown = pure . toDyn
23+-- breakdown = pure . toDyn
21−-- | Can't break it down any further -- stuck in your teeth, maybe.
22−newtype Chewy x = Chewy {unChew :: x}
24−instance Breakdown () where
25− breakdown = pure . toDyn
27−instance Breakdown Int where
26+instance Typeable x => Breakdown (Atom x) where
28− breakdown = pure . toDyn
27+ breakdown = pure . toDyn . unAtom
30−instance Typeable x => Breakdown (Chewy x) where
29+deriving via (Atom ()) instance Breakdown ()
31− breakdown x = pure (toDyn x)
30+deriving via (Atom Int) instance Breakdown Int
33instance (Typeable a, Breakdown a) => Breakdown [a] where
32instance (Typeable a, Breakdown a) => Breakdown [a] where
34 breakdown x = toDyn x :| mconcat (map (NEL.toList . breakdown) x)
33 breakdown x = toDyn x :| mconcat (map (NEL.toList . breakdown) x)