Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class GConvertSetter a b where Source #
gConvertSetter :: a x -> b x Source #
GConvertSetter (K1 * i (Maybe a)) (K1 * i' (Update a)) Source # | |
GConvertSetter (K1 * i a) (K1 * i' (Update a)) Source # | |
GConvertSetter (K1 * i a) (K1 * i' (Maybe a)) Source # | |
(GConvertSetter a c, GConvertSetter b d) => GConvertSetter ((:*:) * a b) ((:*:) * c d) Source # | |
GConvertSetter f f' => GConvertSetter (M1 * i c f) (M1 * i' c' f') Source # | |
class GGetEntity m a b where Source #
gGetEntity :: a x -> Int -> m (b x) Source #
(Applicative m, GGetEntity m a c, GGetEntity m b d) => GGetEntity m ((:*:) * a b) ((:*:) * c d) Source # | |
Applicative m => GGetEntity m (K1 * i (Maybe (Int, a))) (K1 * i' (Maybe a)) Source # | |
Applicative m => GGetEntity m (K1 * i (IntMap a)) (K1 * i' (Maybe a)) Source # | |
Applicative m => GGetEntity m (K1 * i (VTable m a)) (K1 * i' (Maybe a)) Source # | |
(Functor m, GGetEntity m f f') => GGetEntity m (M1 * i c f) (M1 * i' c' f') Source # | |
class GSetEntity m a b where Source #
gSetEntity :: a x -> Int -> b x -> m (b x) Source #
(Applicative m, GSetEntity m a c, GSetEntity m b d) => GSetEntity m ((:*:) * a b) ((:*:) * c d) Source # | |
Applicative m => GSetEntity m (K1 * i (Update a)) (K1 * i' (IntMap a)) Source # | |
Applicative m => GSetEntity m (K1 * i (Update a)) (K1 * i' (VTable m a)) Source # | |
Applicative m => GSetEntity m (K1 * i (Update a)) (K1 * i' (Maybe (Int, a))) Source # | |
(Functor m, GSetEntity m f f') => GSetEntity m (M1 * i c f) (M1 * i' c' f') Source # | |
class GDefault (keep :: Bool) f where Source #
GDefault keep (U1 *) Source # | |
GDefault False (K1 * i (Update c)) Source # | |
GDefault True (K1 * i (Update c)) Source # | |
(GDefault keep a, GDefault keep b) => GDefault keep ((:*:) * a b) Source # | |
GDefault keep (K1 * i (IntMap c)) Source # | |
GDefault keep (K1 * i (Maybe c)) Source # | |
GDefault keep f => GDefault keep (M1 * i c f) Source # | |
(Applicative m, KnownSymbol sym) => GDefault keep (M1 * S (MetaSel (Just Symbol sym) x y z) (K1 * i (VTable m a))) Source # | |