Shpadoinkle-widgets-0.2.0.1: A collection of common reusable types and components.
Shpadoinkle.Widgets.Types.Remote
data Remote e a Source #
Constructors
Defined in Shpadoinkle.Widgets.Types.Remote
Methods
(>>=) :: Remote e a -> (a -> Remote e b) -> Remote e b Source #
(>>) :: Remote e a -> Remote e b -> Remote e b Source #
return :: a -> Remote e a Source #
fail :: String -> Remote e a Source #
fmap :: (a -> b) -> Remote e a -> Remote e b Source #
(<$) :: a -> Remote e b -> Remote e a Source #
pure :: a -> Remote e a Source #
(<*>) :: Remote e (a -> b) -> Remote e a -> Remote e b Source #
liftA2 :: (a -> b -> c) -> Remote e a -> Remote e b -> Remote e c Source #
(*>) :: Remote e a -> Remote e b -> Remote e b Source #
(<*) :: Remote e a -> Remote e b -> Remote e a Source #
fold :: Monoid m => Remote e m -> m Source #
foldMap :: Monoid m => (a -> m) -> Remote e a -> m Source #
foldr :: (a -> b -> b) -> b -> Remote e a -> b Source #
foldr' :: (a -> b -> b) -> b -> Remote e a -> b Source #
foldl :: (b -> a -> b) -> b -> Remote e a -> b Source #
foldl' :: (b -> a -> b) -> b -> Remote e a -> b Source #
foldr1 :: (a -> a -> a) -> Remote e a -> a Source #
foldl1 :: (a -> a -> a) -> Remote e a -> a Source #
toList :: Remote e a -> [a] Source #
null :: Remote e a -> Bool Source #
length :: Remote e a -> Int Source #
elem :: Eq a => a -> Remote e a -> Bool Source #
maximum :: Ord a => Remote e a -> a Source #
minimum :: Ord a => Remote e a -> a Source #
sum :: Num a => Remote e a -> a Source #
product :: Num a => Remote e a -> a Source #
traverse :: Applicative f => (a -> f b) -> Remote e a -> f (Remote e b) Source #
sequenceA :: Applicative f => Remote e (f a) -> f (Remote e a) Source #
mapM :: Monad m => (a -> m b) -> Remote e a -> m (Remote e b) Source #
sequence :: Monad m => Remote e (m a) -> m (Remote e a) Source #
empty :: Remote e a Source #
(<|>) :: Remote e a -> Remote e a -> Remote e a Source #
some :: Remote e a -> Remote e [a] Source #
many :: Remote e a -> Remote e [a] Source #
(==) :: Remote e a -> Remote e a -> Bool Source #
(/=) :: Remote e a -> Remote e a -> Bool Source #
compare :: Remote e a -> Remote e a -> Ordering Source #
(<) :: Remote e a -> Remote e a -> Bool Source #
(<=) :: Remote e a -> Remote e a -> Bool Source #
(>) :: Remote e a -> Remote e a -> Bool Source #
(>=) :: Remote e a -> Remote e a -> Bool Source #
max :: Remote e a -> Remote e a -> Remote e a Source #
min :: Remote e a -> Remote e a -> Remote e a Source #
readsPrec :: Int -> ReadS (Remote e a) Source #
readList :: ReadS [Remote e a] Source #
readPrec :: ReadPrec (Remote e a) Source #
readListPrec :: ReadPrec [Remote e a] Source #
showsPrec :: Int -> Remote e a -> ShowS Source #
show :: Remote e a -> String Source #
showList :: [Remote e a] -> ShowS Source #
Associated Types
type Rep (Remote e a) :: Type -> Type Source #
from :: Remote e a -> Rep (Remote e a) x Source #
to :: Rep (Remote e a) x -> Remote e a Source #
(<>) :: Remote e a -> Remote e a -> Remote e a Source #
sconcat :: NonEmpty (Remote e a) -> Remote e a Source #
stimes :: Integral b => b -> Remote e a -> Remote e a Source #
mempty :: Remote e a Source #
mappend :: Remote e a -> Remote e a -> Remote e a Source #
mconcat :: [Remote e a] -> Remote e a Source #
arbitrary :: Gen (Remote e a) Source #
shrink :: Remote e a -> [Remote e a] Source #
rnf :: Remote e a -> () Source #
toJSON :: Remote e a -> Value Source #
toEncoding :: Remote e a -> Encoding Source #
toJSONList :: [Remote e a] -> Value Source #
toEncodingList :: [Remote e a] -> Encoding Source #
parseJSON :: Value -> Parser (Remote e a) Source #
parseJSONList :: Value -> Parser [Remote e a] Source #