Safe Haskell	None
Language	Haskell2010

Shpadoinkle.Widgets.Form.Dropdown

Documentation

data Dropdown p a Source #

Constructors

Dropdown
Fields _considered :: ConsideredChoice p a _toggle :: Toggle

Instances

(Consideration ConsideredChoice p, Deselection ConsideredChoice p) => Deselection Dropdown p Source #
Instance details Defined in Shpadoinkle.Widgets.Form.Dropdown Methods noselection :: (Foldable g, Ord a) => g a -> Dropdown p a Source # deselect :: Ord a => Dropdown p a -> Dropdown p a Source #
(Consideration ConsideredChoice p, PickToSelected p) => Selection Dropdown p Source #
Instance details Defined in Shpadoinkle.Widgets.Form.Dropdown Methods select :: Ord a => Dropdown p a -> Selected p a -> Dropdown p a Source # unselected :: Ord a => Dropdown p a -> Set a Source # selected :: Ord a => Dropdown p a -> Selected p a Source # withOptions :: (Foldable g, Ord a) => Selected p a -> g a -> Dropdown p a Source # retain :: Ord a => Dropdown p a -> Dropdown p a -> Dropdown p a Source #
(Consideration ConsideredChoice p, PickToConsidered p) => Consideration Dropdown p Source #
Instance details Defined in Shpadoinkle.Widgets.Form.Dropdown Methods consider :: Ord a => Considered p a -> Dropdown p a -> Dropdown p a Source # choose :: Ord a => Dropdown p a -> Dropdown p a Source # choice :: Ord a => Dropdown p a -> Choice p a Source # considered :: Ord a => Dropdown p a -> Considered p a Source # shrug :: Ord a => Dropdown p a -> Dropdown p a Source #
Foldable (ConsideredChoice p) => Foldable (Dropdown p) Source #
Instance details Defined in Shpadoinkle.Widgets.Form.Dropdown Methods fold :: Monoid m => Dropdown p m -> m Source # foldMap :: Monoid m => (a -> m) -> Dropdown p a -> m Source # foldr :: (a -> b -> b) -> b -> Dropdown p a -> b Source # foldr' :: (a -> b -> b) -> b -> Dropdown p a -> b Source # foldl :: (b -> a -> b) -> b -> Dropdown p a -> b Source # foldl' :: (b -> a -> b) -> b -> Dropdown p a -> b Source # foldr1 :: (a -> a -> a) -> Dropdown p a -> a Source # foldl1 :: (a -> a -> a) -> Dropdown p a -> a Source # toList :: Dropdown p a -> [a] Source # null :: Dropdown p a -> Bool Source # length :: Dropdown p a -> Int Source # elem :: Eq a => a -> Dropdown p a -> Bool Source # maximum :: Ord a => Dropdown p a -> a Source # minimum :: Ord a => Dropdown p a -> a Source # sum :: Num a => Dropdown p a -> a Source # product :: Num a => Dropdown p a -> a Source #
Compactable (ConsideredChoice p) => Compactable (Dropdown p) Source #
Instance details Defined in Shpadoinkle.Widgets.Form.Dropdown Methods compact :: Dropdown p (Maybe a) -> Dropdown p a Source # separate :: Dropdown p (Either l r) -> (Dropdown p l, Dropdown p r) Source # filter :: (a -> Bool) -> Dropdown p a -> Dropdown p a Source # partition :: (a -> Bool) -> Dropdown p a -> (Dropdown p a, Dropdown p a) Source # fmapMaybe :: Functor (Dropdown p) => (a -> Maybe b) -> Dropdown p a -> Dropdown p b Source # fmapEither :: Functor (Dropdown p) => (a -> Either l r) -> Dropdown p a -> (Dropdown p l, Dropdown p r) Source # applyMaybe :: Applicative (Dropdown p) => Dropdown p (a -> Maybe b) -> Dropdown p a -> Dropdown p b Source # applyEither :: Applicative (Dropdown p) => Dropdown p (a -> Either l r) -> Dropdown p a -> (Dropdown p l, Dropdown p r) Source # bindMaybe :: Monad (Dropdown p) => Dropdown p a -> (a -> Dropdown p (Maybe b)) -> Dropdown p b Source # bindEither :: Monad (Dropdown p) => Dropdown p a -> (a -> Dropdown p (Either l r)) -> (Dropdown p l, Dropdown p r) Source # traverseMaybe :: (Applicative g, Traversable (Dropdown p)) => (a -> g (Maybe b)) -> Dropdown p a -> g (Dropdown p b) Source # traverseEither :: (Applicative g, Traversable (Dropdown p)) => (a -> g (Either l r)) -> Dropdown p a -> g (Dropdown p l, Dropdown p r) Source #
Control (Dropdown One) Source #
Instance details Defined in Shpadoinkle.Widgets.Form.Dropdown Associated Types type Val (Dropdown One) a :: Type Source # Methods hygiene :: Applicative f => (Hygiene -> f Hygiene) -> Dropdown One a -> f (Dropdown One a) Source # value :: (Applicative f, Ord a) => (Val (Dropdown One) a -> f (Val (Dropdown One) a)) -> Dropdown One a -> f (Dropdown One a) Source #
Control (Dropdown AtleastOne) Source #
Instance details Defined in Shpadoinkle.Widgets.Form.Dropdown Associated Types type Val (Dropdown AtleastOne) a :: Type Source # Methods hygiene :: Applicative f => (Hygiene -> f Hygiene) -> Dropdown AtleastOne a -> f (Dropdown AtleastOne a) Source # value :: (Applicative f, Ord a) => (Val (Dropdown AtleastOne) a -> f (Val (Dropdown AtleastOne) a)) -> Dropdown AtleastOne a -> f (Dropdown AtleastOne a) Source #
SetLike (ConsideredChoice p) => SetLike (Dropdown p) Source #
Instance details Defined in Shpadoinkle.Widgets.Form.Dropdown Methods toSet :: Ord a => Dropdown p a -> Set a Source # smap :: Ord b => (a -> b) -> Dropdown p a -> Dropdown p b Source # valid :: Ord a => Dropdown p a -> Bool Source #
(Eq (Selected p a), Eq (Considered p a), Eq a) => Eq (Dropdown p a) Source #
Instance details Defined in Shpadoinkle.Widgets.Form.Dropdown Methods (==) :: Dropdown p a -> Dropdown p a -> Bool Source # (/=) :: Dropdown p a -> Dropdown p a -> Bool Source #
(Ord (Selected p a), Ord (Considered p a), Ord a) => Ord (Dropdown p a) Source #
Instance details Defined in Shpadoinkle.Widgets.Form.Dropdown Methods compare :: Dropdown p a -> Dropdown p a -> Ordering Source # (<) :: Dropdown p a -> Dropdown p a -> Bool Source # (<=) :: Dropdown p a -> Dropdown p a -> Bool Source # (>) :: Dropdown p a -> Dropdown p a -> Bool Source # (>=) :: Dropdown p a -> Dropdown p a -> Bool Source # max :: Dropdown p a -> Dropdown p a -> Dropdown p a Source # min :: Dropdown p a -> Dropdown p a -> Dropdown p a Source #
(Read (Selected p a), Read (Considered p a), Read a, Ord a) => Read (Dropdown p a) Source #
Instance details Defined in Shpadoinkle.Widgets.Form.Dropdown Methods readsPrec :: Int -> ReadS (Dropdown p a) Source # readList :: ReadS [Dropdown p a] Source # readPrec :: ReadPrec (Dropdown p a) Source # readListPrec :: ReadPrec [Dropdown p a] Source #
(Show (Selected p a), Show (Considered p a), Show a) => Show (Dropdown p a) Source #
Instance details Defined in Shpadoinkle.Widgets.Form.Dropdown Methods showsPrec :: Int -> Dropdown p a -> ShowS Source # show :: Dropdown p a -> String Source # showList :: [Dropdown p a] -> ShowS Source #
Generic (Dropdown p a) Source #
Instance details Defined in Shpadoinkle.Widgets.Form.Dropdown Associated Types type Rep (Dropdown p a) :: Type -> Type Source # Methods from :: Dropdown p a -> Rep (Dropdown p a) x Source # to :: Rep (Dropdown p a) x -> Dropdown p a Source #
Semigroup (ConsideredChoice p a) => Semigroup (Dropdown p a) Source #
Instance details Defined in Shpadoinkle.Widgets.Form.Dropdown Methods (<>) :: Dropdown p a -> Dropdown p a -> Dropdown p a Source # sconcat :: NonEmpty (Dropdown p a) -> Dropdown p a Source # stimes :: Integral b => b -> Dropdown p a -> Dropdown p a Source #
Monoid (ConsideredChoice p a) => Monoid (Dropdown p a) Source #
Instance details Defined in Shpadoinkle.Widgets.Form.Dropdown Methods mempty :: Dropdown p a Source # mappend :: Dropdown p a -> Dropdown p a -> Dropdown p a Source # mconcat :: [Dropdown p a] -> Dropdown p a Source #
(Ord a, Arbitrary a, Arbitrary (ConsideredChoice p a)) => Arbitrary (Dropdown p a) Source #
Instance details Defined in Shpadoinkle.Widgets.Form.Dropdown Methods arbitrary :: Gen (Dropdown p a) Source # shrink :: Dropdown p a -> [Dropdown p a] Source #
(NFData (Selected p a), NFData (ConsideredChoice p a), NFData a) => NFData (Dropdown p a) Source #
Instance details Defined in Shpadoinkle.Widgets.Form.Dropdown Methods rnf :: Dropdown p a -> () Source #
(ToJSON a, ToJSON (Selected p a), ToJSON (Considered p a)) => ToJSON (Dropdown p a) Source #
Instance details Defined in Shpadoinkle.Widgets.Form.Dropdown Methods toJSON :: Dropdown p a -> Value Source # toEncoding :: Dropdown p a -> Encoding Source # toJSONList :: [Dropdown p a] -> Value Source # toEncodingList :: [Dropdown p a] -> Encoding Source #
(FromJSON a, FromJSON (Selected p a), FromJSON (Considered p a), Ord a) => FromJSON (Dropdown p a) Source #
Instance details Defined in Shpadoinkle.Widgets.Form.Dropdown Methods parseJSON :: Value -> Parser (Dropdown p a) Source # parseJSONList :: Value -> Parser [Dropdown p a] Source #
(Consideration ConsideredChoice p, Ord a) => IsToggle (Dropdown p a) Source #
Instance details Defined in Shpadoinkle.Widgets.Form.Dropdown Methods close :: Dropdown p a -> Dropdown p a Source # toggle :: Dropdown p a -> Dropdown p a Source # open :: Dropdown p a -> Dropdown p a Source #
type Val (Dropdown One) a Source #
Instance details Defined in Shpadoinkle.Widgets.Form.Dropdown type Val (Dropdown One) a = Maybe a
type Val (Dropdown AtleastOne) a Source #
Instance details Defined in Shpadoinkle.Widgets.Form.Dropdown type Val (Dropdown AtleastOne) a = a
type Rep (Dropdown p a) Source #
Instance details Defined in Shpadoinkle.Widgets.Form.Dropdown type Rep (Dropdown p a) = D1 (MetaData "Dropdown" "Shpadoinkle.Widgets.Form.Dropdown" "Shpadoinkle-widgets-0.2.0.1-HaWUIlNGtuO41rdsllvehE" False) (C1 (MetaCons "Dropdown" PrefixI True) (S1 (MetaSel (Just "_considered") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ConsideredChoice p a)) :*: S1 (MetaSel (Just "_toggle") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Toggle)))

data Config m Source #

Constructors

Config
Fields _attrs :: forall a. [(Text, Prop m a)] _clickAway :: ClickAway

defConfig :: Config m Source #

data Theme m p b Source #

Constructors

Theme
Fields _wrapper :: forall a. [Html m a] -> Html m a _header :: forall a. Selected p b -> [Html m a] _list :: forall a. [Html m a] -> Html m a _item :: forall a. b -> Html m a

semantic :: Present b => Present (Selected p b) => Dropdown p b -> Theme m p b Source #

act :: (Considered p ~ Maybe, Consideration ConsideredChoice p, Consideration Dropdown p, Ord a) => Dropdown p a -> Dropdown p a Source #

dropdown :: (Considered p ~ Maybe, Consideration Dropdown p, Consideration ConsideredChoice p, Ord a) => (Dropdown p a -> Theme m p a) -> Config m -> Dropdown p a -> Html m (Dropdown p a) Source #