roboservant-0.1.0.3: Automatic session-aware servant testing
Safe HaskellSafe-Inferred
LanguageHaskell2010

Roboservant.Types.BuildFrom

Documentation

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

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

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

Methods

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

Instances

Instances details
BuildFrom NoContent Source # 
Instance details

Defined in Roboservant.Types.BuildFrom

Methods

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

BuildFrom Bool Source # 
Instance details

Defined in Roboservant.Types.BuildFrom

Methods

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

BuildFrom Char Source # 
Instance details

Defined in Roboservant.Types.BuildFrom

Methods

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

BuildFrom Int Source # 
Instance details

Defined in Roboservant.Types.BuildFrom

Methods

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

(Hashable x, Typeable x) => BuildFrom (Atom x) Source # 
Instance details

Defined in Roboservant.Types.BuildFrom

Methods

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

(Hashable x, Typeable x, Generic x, GBuildFrom (Rep x)) => BuildFrom (Compound x) Source # 
Instance details

Defined in Roboservant.Types.BuildFrom

Methods

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

(Typeable x, Hashable x, BuildFrom x) => BuildFrom (Maybe x) Source # 
Instance details

Defined in Roboservant.Types.BuildFrom

Methods

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

(Eq x, BuildFrom x) => BuildFrom [x] Source # 
Instance details

Defined in Roboservant.Types.BuildFrom

Methods

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

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

Methods

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

Instances

Instances details
GBuildFrom (U1 :: k -> Type) Source # 
Instance details

Defined in Roboservant.Types.BuildFrom

Methods

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

(GBuildFrom a, GBuildFrom b) => GBuildFrom (a :*: b :: k -> Type) Source # 
Instance details

Defined in Roboservant.Types.BuildFrom

Methods

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

(GBuildFrom a, GBuildFrom b) => GBuildFrom (a :+: b :: k -> Type) Source # 
Instance details

Defined in Roboservant.Types.BuildFrom

Methods

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

BuildFrom a => GBuildFrom (K1 i a :: k -> Type) Source # 
Instance details

Defined in Roboservant.Types.BuildFrom

Methods

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

GBuildFrom b => GBuildFrom (M1 C a b :: k -> Type) Source # 
Instance details

Defined in Roboservant.Types.BuildFrom

Methods

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

GBuildFrom b => GBuildFrom (M1 D a b :: k -> Type) Source # 
Instance details

Defined in Roboservant.Types.BuildFrom

Methods

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

GBuildFrom b => GBuildFrom (M1 S a b :: k -> Type) Source # 
Instance details

Defined in Roboservant.Types.BuildFrom

Methods

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