Shpadoinkle-widgets-0.1.0.0: 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 #
(>>) :: Remote e a -> Remote e b -> Remote e b #
return :: a -> Remote e a #
fail :: String -> Remote e a #
fmap :: (a -> b) -> Remote e a -> Remote e b #
(<$) :: a -> Remote e b -> Remote e a #
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 #
fold :: Monoid m => Remote e m -> m #
foldMap :: Monoid m => (a -> m) -> Remote e a -> m #
foldr :: (a -> b -> b) -> b -> Remote e a -> b #
foldr' :: (a -> b -> b) -> b -> Remote e a -> b #
foldl :: (b -> a -> b) -> b -> Remote e a -> b #
foldl' :: (b -> a -> b) -> b -> Remote e a -> b #
foldr1 :: (a -> a -> a) -> Remote e a -> a #
foldl1 :: (a -> a -> a) -> Remote e a -> a #
toList :: Remote e a -> [a] #
null :: Remote e a -> Bool #
length :: Remote e a -> Int #
elem :: Eq a => a -> Remote e a -> Bool #
maximum :: Ord a => Remote e a -> a #
minimum :: Ord a => Remote e a -> a #
sum :: Num a => Remote e a -> a #
product :: Num a => Remote e a -> a #
traverse :: Applicative f => (a -> f b) -> Remote e a -> f (Remote e b) #
sequenceA :: Applicative f => Remote e (f a) -> f (Remote e a) #
mapM :: Monad m => (a -> m b) -> Remote e a -> m (Remote e b) #
sequence :: Monad m => Remote e (m a) -> m (Remote e a) #
empty :: Remote e a #
(<|>) :: Remote e a -> Remote e a -> Remote e a #
some :: Remote e a -> Remote e [a] #
many :: Remote e a -> Remote e [a] #
(==) :: Remote e a -> Remote e a -> Bool #
(/=) :: Remote e a -> Remote e a -> Bool #
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 #
readsPrec :: Int -> ReadS (Remote e a) #
readList :: ReadS [Remote e a] #
readPrec :: ReadPrec (Remote e a) #
readListPrec :: ReadPrec [Remote e a] #
showsPrec :: Int -> Remote e a -> ShowS #
show :: Remote e a -> String #
showList :: [Remote e a] -> ShowS #
Associated Types
type Rep (Remote e a) :: Type -> Type #
from :: Remote e a -> Rep (Remote e a) x #
to :: Rep (Remote e a) x -> Remote e a #
(<>) :: Remote e a -> Remote e a -> Remote e a #
sconcat :: NonEmpty (Remote e a) -> Remote e a #
stimes :: Integral b => b -> Remote e a -> Remote e a #
mempty :: Remote e a #
mappend :: Remote e a -> Remote e a -> Remote e a #
mconcat :: [Remote e a] -> Remote e a #
toJSON :: Remote e a -> Value #
toEncoding :: Remote e a -> Encoding #
toJSONList :: [Remote e a] -> Value #
toEncodingList :: [Remote e a] -> Encoding #
parseJSON :: Value -> Parser (Remote e a) #
parseJSONList :: Value -> Parser [Remote e a] #