Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Merge.TwoWayI

Synopsis

data TwoWayI a = TwoWayI {
- alice :: a
- bob :: a
- both :: a
}
forgetBoth :: TwoWayI a -> TwoWay a
who_ :: EitherWayI x -> Lens' (TwoWayI a) a

Documentation

data TwoWayI a Source #

"Two-way inclusive".

Constructors

TwoWayI
Fields alice :: a bob :: a both :: a

Instances

Instances details

Foldable TwoWayI Source #
Instance details Defined in Unison.Merge.TwoWayI Methods fold :: Monoid m => TwoWayI m -> m # foldMap :: Monoid m => (a -> m) -> TwoWayI a -> m # foldMap' :: Monoid m => (a -> m) -> TwoWayI a -> m # foldr :: (a -> b -> b) -> b -> TwoWayI a -> b # foldr' :: (a -> b -> b) -> b -> TwoWayI a -> b # foldl :: (b -> a -> b) -> b -> TwoWayI a -> b # foldl' :: (b -> a -> b) -> b -> TwoWayI a -> b # foldr1 :: (a -> a -> a) -> TwoWayI a -> a # foldl1 :: (a -> a -> a) -> TwoWayI a -> a # toList :: TwoWayI a -> [a] # null :: TwoWayI a -> Bool # length :: TwoWayI a -> Int # elem :: Eq a => a -> TwoWayI a -> Bool # maximum :: Ord a => TwoWayI a -> a # minimum :: Ord a => TwoWayI a -> a # sum :: Num a => TwoWayI a -> a # product :: Num a => TwoWayI a -> a #
Applicative TwoWayI Source #
Instance details Defined in Unison.Merge.TwoWayI Methods pure :: a -> TwoWayI a # (<>) :: TwoWayI (a -> b) -> TwoWayI a -> TwoWayI b # liftA2 :: (a -> b -> c) -> TwoWayI a -> TwoWayI b -> TwoWayI c # (>) :: TwoWayI a -> TwoWayI b -> TwoWayI b # (<*) :: TwoWayI a -> TwoWayI b -> TwoWayI a #
Functor TwoWayI Source #
Instance details Defined in Unison.Merge.TwoWayI Methods fmap :: (a -> b) -> TwoWayI a -> TwoWayI b # (<$) :: a -> TwoWayI b -> TwoWayI a #
Semialign TwoWayI Source #
Instance details Defined in Unison.Merge.TwoWayI Methods align :: TwoWayI a -> TwoWayI b -> TwoWayI (These a b) # alignWith :: (These a b -> c) -> TwoWayI a -> TwoWayI b -> TwoWayI c #
Zip TwoWayI Source #
Instance details Defined in Unison.Merge.TwoWayI Methods zip :: TwoWayI a -> TwoWayI b -> TwoWayI (a, b) # zipWith :: (a -> b -> c) -> TwoWayI a -> TwoWayI b -> TwoWayI c #
Monoid a => Monoid (TwoWayI a) Source #
Instance details Defined in Unison.Merge.TwoWayI Methods mempty :: TwoWayI a # mappend :: TwoWayI a -> TwoWayI a -> TwoWayI a # mconcat :: [TwoWayI a] -> TwoWayI a #
Semigroup a => Semigroup (TwoWayI a) Source #
Instance details Defined in Unison.Merge.TwoWayI Methods (<>) :: TwoWayI a -> TwoWayI a -> TwoWayI a # sconcat :: NonEmpty (TwoWayI a) -> TwoWayI a # stimes :: Integral b => b -> TwoWayI a -> TwoWayI a #
Generic (TwoWayI a) Source #
Instance details Defined in Unison.Merge.TwoWayI Associated Types type Rep (TwoWayI a) :: Type -> Type # Methods from :: TwoWayI a -> Rep (TwoWayI a) x # to :: Rep (TwoWayI a) x -> TwoWayI a #
type Rep (TwoWayI a) Source #
Instance details Defined in Unison.Merge.TwoWayI type Rep (TwoWayI a) = D1 ('MetaData "TwoWayI" "Unison.Merge.TwoWayI" "unison-merge-0.0.0-1HFOE3PxHHL9TQ82hhmKgm" 'False) (C1 ('MetaCons "TwoWayI" 'PrefixI 'True) (S1 ('MetaSel ('Just "alice") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :: (S1 ('MetaSel ('Just "bob") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :: S1 ('MetaSel ('Just "both") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))

forgetBoth :: TwoWayI a -> TwoWay a Source #

who_ :: EitherWayI x -> Lens' (TwoWayI a) a Source #