Alt Identity Source # | Choose the first option every time. While 'choose the last option' every
time is also valid, this instance satisfies more laws. Since: 5.3.6 |
Instance detailsDefined in Data.Functor.Alt |
Alt First Source # | |
Instance detailsDefined in Data.Functor.Alt |
Alt Last Source # | |
Instance detailsDefined in Data.Functor.Alt |
Alt First Source # | |
Instance detailsDefined in Data.Functor.Alt |
Alt Last Source # | |
Instance detailsDefined in Data.Functor.Alt |
Alt IntMap Source # | |
Instance detailsDefined in Data.Functor.Alt |
Alt Seq Source # | |
Instance detailsDefined in Data.Functor.Alt |
Alt IO Source # | This instance does not actually satisfy the (<.> ) right distributive law
It instead satisfies the "left catch" law |
Instance detailsDefined in Data.Functor.Alt |
Alt NonEmpty Source # | |
Instance detailsDefined in Data.Functor.Alt |
Alt Maybe Source # | |
Instance detailsDefined in Data.Functor.Alt |
Alt [] Source # | |
Instance detailsDefined in Data.Functor.Alt |
MonadPlus m => Alt (WrappedMonad m) Source # | |
Instance detailsDefined in Data.Functor.Alt |
Alt (Either a) Source # | |
Instance detailsDefined in Data.Functor.Alt |
Alt (Proxy :: Type -> Type) Source # | |
Instance detailsDefined in Data.Functor.Alt |
Alt (U1 :: Type -> Type) Source # | |
Instance detailsDefined in Data.Functor.Alt |
Alt (V1 :: Type -> Type) Source # | |
Instance detailsDefined in Data.Functor.Alt |
Ord k => Alt (Map k) Source # | |
Instance detailsDefined in Data.Functor.Alt |
Alternative f => Alt (WrappedApplicative f) Source # | |
Instance detailsDefined in Data.Functor.Alt |
Alt f => Alt (Lift f) Source # | |
Instance detailsDefined in Data.Functor.Alt |
Apply f => Alt (ListT f) Source # | |
Instance detailsDefined in Data.Functor.Alt |
(Functor f, Monad f) => Alt (MaybeT f) Source # | |
Instance detailsDefined in Data.Functor.Alt |
(Hashable k, Eq k) => Alt (HashMap k) Source # | |
Instance detailsDefined in Data.Functor.Alt |
ArrowPlus a => Alt (WrappedArrow a b) Source # | |
Instance detailsDefined in Data.Functor.Alt |
Alt f => Alt (Rec1 f) Source # | |
Instance detailsDefined in Data.Functor.Alt |
Alt f => Alt (Static f a) Source # | |
Instance detailsDefined in Data.Semigroupoid.Static |
Alt f => Alt (Backwards f) Source # | |
Instance detailsDefined in Data.Functor.Alt |
(Functor f, Monad f) => Alt (ErrorT e f) Source # | |
Instance detailsDefined in Data.Functor.Alt |
(Functor f, Monad f, Semigroup e) => Alt (ExceptT e f) Source # | |
Instance detailsDefined in Data.Functor.Alt |
Alt f => Alt (IdentityT f) Source # | |
Instance detailsDefined in Data.Functor.Alt |
Alt f => Alt (ReaderT e f) Source # | |
Instance detailsDefined in Data.Functor.Alt |
Alt f => Alt (StateT e f) Source # | |
Instance detailsDefined in Data.Functor.Alt |
Alt f => Alt (StateT e f) Source # | |
Instance detailsDefined in Data.Functor.Alt |
Alt f => Alt (WriterT w f) Source # | Since: 5.3.6 |
Instance detailsDefined in Data.Functor.Alt |
Alt f => Alt (WriterT w f) Source # | |
Instance detailsDefined in Data.Functor.Alt |
Alt f => Alt (WriterT w f) Source # | |
Instance detailsDefined in Data.Functor.Alt |
Alt f => Alt (Reverse f) Source # | |
Instance detailsDefined in Data.Functor.Alt |
(Alt f, Alt g) => Alt (Product f g) Source # | |
Instance detailsDefined in Data.Functor.Alt |
(Alt f, Alt g) => Alt (f :*: g) Source # | |
Instance detailsDefined in Data.Functor.Alt |
Semigroup c => Alt (K1 i c :: Type -> Type) Source # | since 5.3.8 |
Instance detailsDefined in Data.Functor.Alt |
(Alt f, Functor g) => Alt (Compose f g) Source # | |
Instance detailsDefined in Data.Functor.Alt |
(Alt f, Functor g) => Alt (f :.: g) Source # | Since: 5.3.8 |
Instance detailsDefined in Data.Functor.Alt |
Alt f => Alt (M1 i c f) Source # | |
Instance detailsDefined in Data.Functor.Alt |
Alt f => Alt (RWST r w s f) Source # | Since: 5.3.6 |
Instance detailsDefined in Data.Functor.Alt |
Alt f => Alt (RWST r w s f) Source # | |
Instance detailsDefined in Data.Functor.Alt |
Alt f => Alt (RWST r w s f) Source # | |
Instance detailsDefined in Data.Functor.Alt |