Shpadoinkle.Widgets.Form.Dropdown

Documentation

data Dropdown p a

Constructors

Dropdown

Fields

• _considered :: ConsideredChoice p a
• _toggle :: Toggle

Instances

Consideration ConsideredChoice p => Consideration Dropdown p

Defined in Shpadoinkle.Widgets.Form.Dropdown

Methods

consider :: Ord a => Considered p a -> Dropdown p a -> Dropdown p a

consider' :: Ord a => a -> Dropdown p a -> Dropdown p a

choose :: Ord a => Dropdown p a -> Dropdown p a

choice :: Ord a => Dropdown p a -> Choice p a

considered :: Ord a => Dropdown p a -> Considered p a

shrug :: Ord a => Dropdown p a -> Dropdown p a

(Consideration ConsideredChoice p, Deselection ConsideredChoice p) => Deselection Dropdown p

Defined in Shpadoinkle.Widgets.Form.Dropdown

Methods

noselection :: (Foldable g, Ord a) => g a -> Dropdown p a

deselect :: Ord a => Dropdown p a -> Dropdown p a

Consideration ConsideredChoice p => Selection Dropdown p

Defined in Shpadoinkle.Widgets.Form.Dropdown

Methods

select :: Ord a => Dropdown p a -> Selected p a -> Dropdown p a

select' :: Ord a => Dropdown p a -> a -> Dropdown p a

unselected :: Ord a => Dropdown p a -> Set a

selected :: Ord a => Dropdown p a -> Selected p a

withOptions :: (Foldable g, Ord a) => Selected p a -> g a -> Dropdown p a

withOptions' :: (Foldable g, Ord a) => a -> g a -> Dropdown p a

Compactable (ConsideredChoice p) => Compactable (Dropdown p)

Defined in Shpadoinkle.Widgets.Form.Dropdown

Methods

compact :: Dropdown p (Maybe a) -> Dropdown p a

separate :: Dropdown p (Either l r) -> (Dropdown p l, Dropdown p r)

filter :: (a -> Bool) -> Dropdown p a -> Dropdown p a

partition :: (a -> Bool) -> Dropdown p a -> (Dropdown p a, Dropdown p a)

fmapMaybe :: Functor (Dropdown p) => (a -> Maybe b) -> Dropdown p a -> Dropdown p b

fmapEither :: Functor (Dropdown p) => (a -> Either l r) -> Dropdown p a -> (Dropdown p l, Dropdown p r)

applyMaybe :: Applicative (Dropdown p) => Dropdown p (a -> Maybe b) -> Dropdown p a -> Dropdown p b

applyEither :: Applicative (Dropdown p) => Dropdown p (a -> Either l r) -> Dropdown p a -> (Dropdown p l, Dropdown p r)

bindMaybe :: Monad (Dropdown p) => Dropdown p a -> (a -> Dropdown p (Maybe b)) -> Dropdown p b

bindEither :: Monad (Dropdown p) => Dropdown p a -> (a -> Dropdown p (Either l r)) -> (Dropdown p l, Dropdown p r)

traverseMaybe :: (Applicative g, Traversable (Dropdown p)) => (a -> g (Maybe b)) -> Dropdown p a -> g (Dropdown p b)

traverseEither :: (Applicative g, Traversable (Dropdown p)) => (a -> g (Either l r)) -> Dropdown p a -> g (Dropdown p l, Dropdown p r)

SetLike (ConsideredChoice p) => SetLike (Dropdown p)

Defined in Shpadoinkle.Widgets.Form.Dropdown

Methods

toSet :: Ord a => Dropdown p a -> Set a

smap :: Ord b => (a -> b) -> Dropdown p a -> Dropdown p b

valid :: Ord a => Dropdown p a -> Bool

Control (Dropdown One)

Defined in Shpadoinkle.Widgets.Form.Dropdown

Associated Types

type Val (Dropdown One) a :: Type

Methods

hygiene :: Applicative f => (Hygiene -> f Hygiene) -> Dropdown One a -> f (Dropdown One a)

value :: (Applicative f, Ord a) => (Val (Dropdown One) a -> f (Val (Dropdown One) a)) -> Dropdown One a -> f (Dropdown One a)

Control (Dropdown AtleastOne)

Defined in Shpadoinkle.Widgets.Form.Dropdown

Associated Types

type Val (Dropdown AtleastOne) a :: Type

Methods

hygiene :: Applicative f => (Hygiene -> f Hygiene) -> Dropdown AtleastOne a -> f (Dropdown AtleastOne a)

value :: (Applicative f, Ord a) => (Val (Dropdown AtleastOne) a -> f (Val (Dropdown AtleastOne) a)) -> Dropdown AtleastOne a -> f (Dropdown AtleastOne a)

(Eq (Selected p a), Eq (Considered p a), Eq a) => Eq (Dropdown p a)

Defined in Shpadoinkle.Widgets.Form.Dropdown

Methods

(==) :: Dropdown p a -> Dropdown p a -> Bool

(/=) :: Dropdown p a -> Dropdown p a -> Bool

(Ord (Selected p a), Ord (Considered p a), Ord a) => Ord (Dropdown p a)

Defined in Shpadoinkle.Widgets.Form.Dropdown

Methods

compare :: Dropdown p a -> Dropdown p a -> Ordering

(<) :: Dropdown p a -> Dropdown p a -> Bool

(<=) :: Dropdown p a -> Dropdown p a -> Bool

(>) :: Dropdown p a -> Dropdown p a -> Bool

(>=) :: Dropdown p a -> Dropdown p a -> Bool

max :: Dropdown p a -> Dropdown p a -> Dropdown p a

min :: Dropdown p a -> Dropdown p a -> Dropdown p a

(Read (Selected p a), Read (Considered p a), Read a, Ord a) => Read (Dropdown p a)

Defined in Shpadoinkle.Widgets.Form.Dropdown

Methods

readsPrec :: Int -> ReadS (Dropdown p a)

readList :: ReadS [Dropdown p a]

readPrec :: ReadPrec (Dropdown p a)

readListPrec :: ReadPrec [Dropdown p a]

(Show (Selected p a), Show (Considered p a), Show a) => Show (Dropdown p a)

Defined in Shpadoinkle.Widgets.Form.Dropdown

Methods

showsPrec :: Int -> Dropdown p a -> ShowS

show :: Dropdown p a -> String

showList :: [Dropdown p a] -> ShowS

Generic (Dropdown p a)

Defined in Shpadoinkle.Widgets.Form.Dropdown

Associated Types

type Rep (Dropdown p a) :: Type -> Type

Methods

from :: Dropdown p a -> Rep (Dropdown p a) x

to :: Rep (Dropdown p a) x -> Dropdown p a

Semigroup (ConsideredChoice p a) => Semigroup (Dropdown p a)

Defined in Shpadoinkle.Widgets.Form.Dropdown

Methods

(<>) :: Dropdown p a -> Dropdown p a -> Dropdown p a

sconcat :: NonEmpty (Dropdown p a) -> Dropdown p a

stimes :: Integral b => b -> Dropdown p a -> Dropdown p a

Monoid (ConsideredChoice p a) => Monoid (Dropdown p a)

Defined in Shpadoinkle.Widgets.Form.Dropdown

Methods

mempty :: Dropdown p a

mappend :: Dropdown p a -> Dropdown p a -> Dropdown p a

mconcat :: [Dropdown p a] -> Dropdown p a

(ToJSON a, ToJSON (Selected p a), ToJSON (Considered p a)) => ToJSON (Dropdown p a)

Defined in Shpadoinkle.Widgets.Form.Dropdown

Methods

toJSON :: Dropdown p a -> Value

toEncoding :: Dropdown p a -> Encoding

toJSONList :: [Dropdown p a] -> Value

toEncodingList :: [Dropdown p a] -> Encoding

(FromJSON a, FromJSON (Selected p a), FromJSON (Considered p a), Ord a) => FromJSON (Dropdown p a)

Defined in Shpadoinkle.Widgets.Form.Dropdown

Methods

parseJSON :: Value -> Parser (Dropdown p a)

parseJSONList :: Value -> Parser [Dropdown p a]

(Consideration ConsideredChoice p, Ord a) => IsToggle (Dropdown p a)

Defined in Shpadoinkle.Widgets.Form.Dropdown

Methods

close :: Dropdown p a -> Dropdown p a

toggle :: Dropdown p a -> Dropdown p a

open :: Dropdown p a -> Dropdown p a

type Val (Dropdown One) a

Defined in Shpadoinkle.Widgets.Form.Dropdown

type Val (Dropdown One) a = Maybe a

type Val (Dropdown AtleastOne) a

Defined in Shpadoinkle.Widgets.Form.Dropdown

type Val (Dropdown AtleastOne) a = a

type Rep (Dropdown p a)

Defined in Shpadoinkle.Widgets.Form.Dropdown

type Rep (Dropdown p a) = D1 (MetaData "Dropdown" "Shpadoinkle.Widgets.Form.Dropdown" "Shpadoinkle-widgets-0.0.0.1-2e7ySQOzQveLMoCBVBP1hf" 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)))

newtype Config m

Constructors

Config

Fields

• _attrs :: forall a. [(Text, Prop m a)]

defConfig :: Config m

data Theme m

Constructors

Theme

Fields

• _wrapper :: forall a. [Html m a] -> Html m a
• _header :: forall a. [Html m a] -> [Html m a]
• _list :: forall a. [Html m a] -> Html m a
• _item :: forall a. [Html m a] -> Html m a

semantic :: Dropdown p b -> Theme m

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

dropdown :: (Considered p ~ Maybe, Consideration Dropdown p, Consideration ConsideredChoice p, Present (Selected p a), Present a, Ord a, MonadJSM m) => (forall b. Dropdown p b -> Theme m) -> Config m -> Dropdown p a -> Html m (Dropdown p a)