Roboservant.Types.BuildFrom

Documentation

buildFrom :: forall x. (Hashable x, BuildFrom x, Typeable x) => Stash -> Maybe (StashValue x)

buildFrom' :: forall x. (Hashable x, BuildFrom x, Typeable x) => Stash -> [([Provenance], x)]

class (Hashable x, Typeable x) => BuildFrom (x :: Type) where

Methods

extras :: Stash -> [([Provenance], x)]

Instances

BuildFrom NoContent

Defined in Roboservant.Types.BuildFrom

Methods

extras :: Stash -> [([Provenance], NoContent)]

BuildFrom Bool

Defined in Roboservant.Types.BuildFrom

Methods

extras :: Stash -> [([Provenance], Bool)]

BuildFrom Char

Defined in Roboservant.Types.BuildFrom

Methods

extras :: Stash -> [([Provenance], Char)]

BuildFrom Int

Defined in Roboservant.Types.BuildFrom

Methods

extras :: Stash -> [([Provenance], Int)]

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

Defined in Roboservant.Types.BuildFrom

Methods

extras :: Stash -> [([Provenance], Atom x)]

(Hashable x, Typeable x, Generic x, GBuildFrom (Rep x)) => BuildFrom (Compound x)

Defined in Roboservant.Types.BuildFrom

Methods

extras :: Stash -> [([Provenance], Compound x)]

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

Defined in Roboservant.Types.BuildFrom

Methods

extras :: Stash -> [([Provenance], Maybe x)]

(Eq x, BuildFrom x) => BuildFrom [x]

Defined in Roboservant.Types.BuildFrom

Methods

extras :: Stash -> [([Provenance], [x])]

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

Methods

gExtras :: Stash -> [([Provenance], f a)]

Instances

GBuildFrom (U1 :: k -> Type)

Defined in Roboservant.Types.BuildFrom

Methods

gExtras :: forall (a :: k0). Stash -> [([Provenance], U1 a)]

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

Defined in Roboservant.Types.BuildFrom

Methods

gExtras :: forall (a0 :: k0). Stash -> [([Provenance], (a :*: b) a0)]

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

Defined in Roboservant.Types.BuildFrom

Methods

gExtras :: forall (a0 :: k0). Stash -> [([Provenance], (a :+: b) a0)]

BuildFrom a => GBuildFrom (K1 i a :: k -> Type)

Defined in Roboservant.Types.BuildFrom

Methods

gExtras :: forall (a0 :: k0). Stash -> [([Provenance], K1 i a a0)]

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

Defined in Roboservant.Types.BuildFrom

Methods

gExtras :: forall (a0 :: k0). Stash -> [([Provenance], M1 C a b a0)]

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

Defined in Roboservant.Types.BuildFrom

Methods

gExtras :: forall (a0 :: k0). Stash -> [([Provenance], M1 D a b a0)]

GBuildFrom b => GBuildFrom (M1 S a b :: k -> Type)

Defined in Roboservant.Types.BuildFrom

Methods

gExtras :: forall (a0 :: k0). Stash -> [([Provenance], M1 S a b a0)]