Safe Haskell	Safe-Inferred
Language	Haskell2010

Roboservant.Types.Breakdown

Documentation

Methods

Instances details

Breakdown NoContent Source #
Instance details Defined in Roboservant.Types.Breakdown Methods breakdownExtras :: NoContent -> [(Dynamic, Int)] Source #
Breakdown () Source #
Instance details Defined in Roboservant.Types.Breakdown Methods breakdownExtras :: () -> [(Dynamic, Int)] Source #
Breakdown Char Source #
Instance details Defined in Roboservant.Types.Breakdown Methods breakdownExtras :: Char -> [(Dynamic, Int)] Source #
Breakdown Int Source #
Instance details Defined in Roboservant.Types.Breakdown Methods breakdownExtras :: Int -> [(Dynamic, Int)] Source #
(Hashable x, Typeable x) => Breakdown (Atom x) Source #
Instance details Defined in Roboservant.Types.Breakdown Methods breakdownExtras :: Atom x -> [(Dynamic, Int)] Source #
(Hashable x, Typeable x, Generic x, GBreakdown (Rep x)) => Breakdown (Compound x) Source #
Instance details Defined in Roboservant.Types.Breakdown Methods breakdownExtras :: Compound x -> [(Dynamic, Int)] Source #
(Typeable x, Hashable x, Breakdown x) => Breakdown (Maybe x) Source #
Instance details Defined in Roboservant.Types.Breakdown Methods breakdownExtras :: Maybe x -> [(Dynamic, Int)] Source #
(Hashable x, Typeable x, Breakdown x) => Breakdown [x] Source #
Instance details Defined in Roboservant.Types.Breakdown Methods breakdownExtras :: [x] -> [(Dynamic, Int)] Source #

class GBreakdown (f :: k -> Type) where Source #

Methods

Instances details

GBreakdown (U1 :: k -> Type) Source #
Instance details Defined in Roboservant.Types.Breakdown Methods gBreakdownExtras :: forall (a :: k0). U1 a -> [(Dynamic, Int)] Source #
(GBreakdown a, GBreakdown b) => GBreakdown (a :*: b :: k -> Type) Source #
Instance details Defined in Roboservant.Types.Breakdown Methods gBreakdownExtras :: forall (a0 :: k0). (a :*: b) a0 -> [(Dynamic, Int)] Source #
(GBreakdown a, GBreakdown b) => GBreakdown (a :+: b :: k -> Type) Source #
Instance details Defined in Roboservant.Types.Breakdown Methods gBreakdownExtras :: forall (a0 :: k0). (a :+: b) a0 -> [(Dynamic, Int)] Source #
(Hashable a, Typeable a, Breakdown a) => GBreakdown (K1 R a :: k -> Type) Source #
Instance details Defined in Roboservant.Types.Breakdown Methods gBreakdownExtras :: forall (a0 :: k0). K1 R a a0 -> [(Dynamic, Int)] Source #
GBreakdown b => GBreakdown (M1 C a b :: k -> Type) Source #
Instance details Defined in Roboservant.Types.Breakdown Methods gBreakdownExtras :: forall (a0 :: k0). M1 C a b a0 -> [(Dynamic, Int)] Source #
GBreakdown b => GBreakdown (M1 D a b :: k -> Type) Source #
Instance details Defined in Roboservant.Types.Breakdown Methods gBreakdownExtras :: forall (a0 :: k0). M1 D a b a0 -> [(Dynamic, Int)] Source #
GBreakdown f => GBreakdown (M1 S c f :: k -> Type) Source #
Instance details Defined in Roboservant.Types.Breakdown Methods gBreakdownExtras :: forall (a :: k0). M1 S c f a -> [(Dynamic, Int)] Source #