Shpadoinkle.Widgets.Types.Remote

Documentation

data Remote e a

Constructors

Success a

Failure e

Loading

NotAsked

Instances

Monad (Remote e)

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)

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)

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)

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)

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)

Defined in Shpadoinkle.Widgets.Types.Remote

Methods

readsPrec :: Int -> ReadS (Remote e a)

readList :: ReadS [Remote e a]

readPrec :: ReadPrec (Remote e a)

readListPrec :: ReadPrec [Remote e a]

(Show a, Show e) => Show (Remote e a)

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)

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)

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)))