Shpadoinkle-widgets-0.0.0.1: A collection of common reusable types and components.

Safe HaskellSafe
LanguageHaskell2010

Shpadoinkle.Widgets.Types.Remote

Documentation

data Remote e a Source #

Constructors

Success a 
Failure e 
Loading 
NotAsked 
Instances
Monad (Remote e) Source # 
Instance details

Defined in Shpadoinkle.Widgets.Types.Remote

Methods

(>>=) :: Remote e a -> (a -> Remote e b) -> Remote e b #

(>>) :: Remote e a -> Remote e b -> Remote e b #

return :: a -> Remote e a #

fail :: String -> Remote e a #

Functor (Remote e) Source # 
Instance details

Defined in Shpadoinkle.Widgets.Types.Remote

Methods

fmap :: (a -> b) -> Remote e a -> Remote e b #

(<$) :: a -> Remote e b -> Remote e a #

Applicative (Remote e) Source # 
Instance details

Defined in Shpadoinkle.Widgets.Types.Remote

Methods

pure :: a -> Remote e a #

(<*>) :: Remote e (a -> b) -> Remote e a -> Remote e b #

liftA2 :: (a -> b -> c) -> Remote e a -> Remote e b -> Remote e c #

(*>) :: Remote e a -> Remote e b -> Remote e b #

(<*) :: Remote e a -> Remote e b -> Remote e a #

(Eq a, Eq e) => Eq (Remote e a) Source # 
Instance details

Defined in Shpadoinkle.Widgets.Types.Remote

Methods

(==) :: Remote e a -> Remote e a -> Bool #

(/=) :: Remote e a -> Remote e a -> Bool #

(Ord a, Ord e) => Ord (Remote e a) Source # 
Instance details

Defined in Shpadoinkle.Widgets.Types.Remote

Methods

compare :: Remote e a -> Remote e a -> Ordering #

(<) :: Remote e a -> Remote e a -> Bool #

(<=) :: Remote e a -> Remote e a -> Bool #

(>) :: Remote e a -> Remote e a -> Bool #

(>=) :: Remote e a -> Remote e a -> Bool #

max :: Remote e a -> Remote e a -> Remote e a #

min :: Remote e a -> Remote e a -> Remote e a #

(Read a, Read e) => Read (Remote e a) Source # 
Instance details

Defined in Shpadoinkle.Widgets.Types.Remote

(Show a, Show e) => Show (Remote e a) Source # 
Instance details

Defined in Shpadoinkle.Widgets.Types.Remote

Methods

showsPrec :: Int -> Remote e a -> ShowS #

show :: Remote e a -> String #

showList :: [Remote e a] -> ShowS #

Generic (Remote e a) Source # 
Instance details

Defined in Shpadoinkle.Widgets.Types.Remote

Associated Types

type Rep (Remote e a) :: Type -> Type #

Methods

from :: Remote e a -> Rep (Remote e a) x #

to :: Rep (Remote e a) x -> Remote e a #

type Rep (Remote e a) Source # 
Instance details

Defined in Shpadoinkle.Widgets.Types.Remote

type Rep (Remote e a) = D1 (MetaData "Remote" "Shpadoinkle.Widgets.Types.Remote" "Shpadoinkle-widgets-0.0.0.1-2e7ySQOzQveLMoCBVBP1hf" False) ((C1 (MetaCons "Success" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :+: C1 (MetaCons "Failure" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 e))) :+: (C1 (MetaCons "Loading" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "NotAsked" PrefixI False) (U1 :: Type -> Type)))