Copyright	(c) Matt Hunzinger 2026
License	BSD-style (see the LICENSE file in the distribution)
Maintainer	matt@hunzinger.me
Stability	provisional
Portability	non-portable (GHC extensions)
Safe Haskell	None
Language	Haskell2010

Concoct.View.Skip

Description

Documentation

newtype Skip (m :: Type -> Type) a Source #

Constructors

Skip
Fields unSkip :: StateT ViewState m a

Instances details

MonadIO m => MonadView m (Skip m) Source #
Instance details Defined in Concoct.View.Skip Methods useState :: Typeable a => m a -> Skip m (StateRef a) Source # useRef :: Typeable a => m a -> Skip m (ViewRef a) Source # useEffect :: (Eq d, Typeable d) => m d -> (d -> m ()) -> Skip m () Source # useOnUnmount :: m () -> Skip m () Source # component :: (forall (x :: Type -> Type). MonadView m x => x ()) -> Skip m () Source # liftView :: m () -> Skip m () Source # switchView :: m Bool -> (forall (x :: Type -> Type). MonadView m x => x ()) -> (forall (x :: Type -> Type). MonadView m x => x ()) -> Skip m () Source # listView :: (Typeable a, Eq a) => m [a] -> (a -> forall (x :: Type -> Type). MonadView m x => x ()) -> Skip m () Source #
Monad m => Applicative (Skip m) Source #
Instance details Defined in Concoct.View.Skip Methods pure :: a -> Skip m a # (<>) :: Skip m (a -> b) -> Skip m a -> Skip m b # liftA2 :: (a -> b -> c) -> Skip m a -> Skip m b -> Skip m c # (>) :: Skip m a -> Skip m b -> Skip m b # (<*) :: Skip m a -> Skip m b -> Skip m a #
Functor m => Functor (Skip m) Source #
Instance details Defined in Concoct.View.Skip Methods fmap :: (a -> b) -> Skip m a -> Skip m b # (<$) :: a -> Skip m b -> Skip m a #
Monad m => Monad (Skip m) Source #
Instance details Defined in Concoct.View.Skip Methods (>>=) :: Skip m a -> (a -> Skip m b) -> Skip m b # (>>) :: Skip m a -> Skip m b -> Skip m b # return :: a -> Skip m a #