Shpadoinkle-widgets-0.2.0.1: A collection of common reusable types and components.

Safe HaskellNone
LanguageHaskell2010

Shpadoinkle.Widgets.Form.Dropdown

Documentation

data Dropdown p a Source #

Constructors

Dropdown 
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 #

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

(Show (Selected p a), Show (Considered p a), Show a) => Show (Dropdown p a) Source # 
Instance details

Defined in Shpadoinkle.Widgets.Form.Dropdown

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

(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

(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

data Theme m p b Source #

Constructors

Theme 

Fields

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