{-# LANGUAGE UndecidableInstances #-}
module Strongweak.Generic.Via where
import Strongweak.Generic.Weaken
import Strongweak.Generic.Strengthen
import Strongweak
import GHC.Generics
import Data.Kind
newtype GenericallySW s (w :: Type) = GenericallySW { forall s w. GenericallySW s w -> s
unGenericallySW :: s }
instance
( Generic s, Generic w
, GWeaken (Rep s) (Rep w)
) => Weaken (GenericallySW s w) where
type Weak (GenericallySW s w) = w
weaken :: GenericallySW s w -> Weak (GenericallySW s w)
weaken = s -> w
forall s w.
(Generic s, Generic w, GWeaken (Rep s) (Rep w)) =>
s -> w
weakenGeneric (s -> w) -> (GenericallySW s w -> s) -> GenericallySW s w -> w
forall b c a. (b -> c) -> (a -> b) -> a -> c
. GenericallySW s w -> s
forall s w. GenericallySW s w -> s
unGenericallySW
instance
( Generic s, Generic w
, GStrengthenD (Rep w) (Rep s)
, Weaken (GenericallySW s w)
) => Strengthen (GenericallySW s w) where
strengthen :: Weak (GenericallySW s w) -> Result (GenericallySW s w)
strengthen = (s -> GenericallySW s w)
-> Validation Fails s -> Result (GenericallySW s w)
forall a b. (a -> b) -> Validation Fails a -> Validation Fails b
forall (f :: Type -> Type) a b. Functor f => (a -> b) -> f a -> f b
fmap s -> GenericallySW s w
forall s w. s -> GenericallySW s w
GenericallySW (Validation Fails s -> Result (GenericallySW s w))
-> (w -> Validation Fails s) -> w -> Result (GenericallySW s w)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. w -> Validation Fails s
forall w s.
(Generic w, Generic s, GStrengthenD (Rep w) (Rep s)) =>
w -> Result s
strengthenGeneric