Roboservant.Types.Breakdown

Documentation

breakdown :: (Hashable x, Typeable x, Breakdown x) => x -> NonEmpty (Dynamic, Int)

class Breakdown x where

Methods

breakdownExtras :: x -> [(Dynamic, Int)]

Instances

Breakdown NoContent

Defined in Roboservant.Types.Breakdown

Methods

breakdownExtras :: NoContent -> [(Dynamic, Int)]

Breakdown ()

Defined in Roboservant.Types.Breakdown

Methods

breakdownExtras :: () -> [(Dynamic, Int)]

Breakdown Char

Defined in Roboservant.Types.Breakdown

Methods

breakdownExtras :: Char -> [(Dynamic, Int)]

Breakdown Int

Defined in Roboservant.Types.Breakdown

Methods

breakdownExtras :: Int -> [(Dynamic, Int)]

(Hashable x, Typeable x) => Breakdown (Atom x)

Defined in Roboservant.Types.Breakdown

Methods

breakdownExtras :: Atom x -> [(Dynamic, Int)]

(Hashable x, Typeable x, Generic x, GBreakdown (Rep x)) => Breakdown (Compound x)

Defined in Roboservant.Types.Breakdown

Methods

breakdownExtras :: Compound x -> [(Dynamic, Int)]

(Typeable x, Hashable x, Breakdown x) => Breakdown (Maybe x)

Defined in Roboservant.Types.Breakdown

Methods

breakdownExtras :: Maybe x -> [(Dynamic, Int)]

(Hashable x, Typeable x, Breakdown x) => Breakdown [x]

Defined in Roboservant.Types.Breakdown

Methods

breakdownExtras :: [x] -> [(Dynamic, Int)]

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

Methods

gBreakdownExtras :: f a -> [(Dynamic, Int)]

Instances

GBreakdown (U1 :: k -> Type)

Defined in Roboservant.Types.Breakdown

Methods

gBreakdownExtras :: forall (a :: k0). U1 a -> [(Dynamic, Int)]

(GBreakdown a, GBreakdown b) => GBreakdown (a :*: b :: k -> Type)

Defined in Roboservant.Types.Breakdown

Methods

gBreakdownExtras :: forall (a0 :: k0). (a :*: b) a0 -> [(Dynamic, Int)]

(GBreakdown a, GBreakdown b) => GBreakdown (a :+: b :: k -> Type)

Defined in Roboservant.Types.Breakdown

Methods

gBreakdownExtras :: forall (a0 :: k0). (a :+: b) a0 -> [(Dynamic, Int)]

(Hashable a, Typeable a, Breakdown a) => GBreakdown (K1 R a :: k -> Type)

Defined in Roboservant.Types.Breakdown

Methods

gBreakdownExtras :: forall (a0 :: k0). K1 R a a0 -> [(Dynamic, Int)]

GBreakdown b => GBreakdown (M1 C a b :: k -> Type)

Defined in Roboservant.Types.Breakdown

Methods

gBreakdownExtras :: forall (a0 :: k0). M1 C a b a0 -> [(Dynamic, Int)]

GBreakdown b => GBreakdown (M1 D a b :: k -> Type)

Defined in Roboservant.Types.Breakdown

Methods

gBreakdownExtras :: forall (a0 :: k0). M1 D a b a0 -> [(Dynamic, Int)]

GBreakdown f => GBreakdown (M1 S c f :: k -> Type)

Defined in Roboservant.Types.Breakdown

Methods

gBreakdownExtras :: forall (a :: k0). M1 S c f a -> [(Dynamic, Int)]