Shpadoinkle.Widgets.Types.Choice

Documentation

data Pick

Constructors

One

AtleastOne

Many

type family Selected (p :: Pick) (a :: Type) :: Type where ...

Equations

Selected One a = Maybe a

Selected AtleastOne a = a

Selected Many a = Set a

data Choice (p :: Pick) a

Constructors

Choice

Fields

• _selected :: Selected p a
• _options :: Set a

Instances

Deselection Choice One

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

noselection :: (Foldable g, Ord a) => g a -> Choice One a

deselect :: Ord a => Choice One a -> Choice One a

Deselection Choice Many

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

noselection :: (Foldable g, Ord a) => g a -> Choice Many a

deselect :: Ord a => Choice Many a -> Choice Many a

Selection Choice One

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

select :: Ord a => Choice One a -> Selected One a -> Choice One a

select' :: Ord a => Choice One a -> a -> Choice One a

unselected :: Ord a => Choice One a -> Set a

selected :: Ord a => Choice One a -> Selected One a

withOptions :: (Foldable g, Ord a) => Selected One a -> g a -> Choice One a

withOptions' :: (Foldable g, Ord a) => a -> g a -> Choice One a

Selection Choice AtleastOne

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

select :: Ord a => Choice AtleastOne a -> Selected AtleastOne a -> Choice AtleastOne a

select' :: Ord a => Choice AtleastOne a -> a -> Choice AtleastOne a

unselected :: Ord a => Choice AtleastOne a -> Set a

selected :: Ord a => Choice AtleastOne a -> Selected AtleastOne a

withOptions :: (Foldable g, Ord a) => Selected AtleastOne a -> g a -> Choice AtleastOne a

withOptions' :: (Foldable g, Ord a) => a -> g a -> Choice AtleastOne a

Selection Choice Many

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

select :: Ord a => Choice Many a -> Selected Many a -> Choice Many a

select' :: Ord a => Choice Many a -> a -> Choice Many a

unselected :: Ord a => Choice Many a -> Set a

selected :: Ord a => Choice Many a -> Selected Many a

withOptions :: (Foldable g, Ord a) => Selected Many a -> g a -> Choice Many a

withOptions' :: (Foldable g, Ord a) => a -> g a -> Choice Many a

Foldable (Choice One)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

fold :: Monoid m => Choice One m -> m

foldMap :: Monoid m => (a -> m) -> Choice One a -> m

foldr :: (a -> b -> b) -> b -> Choice One a -> b

foldr' :: (a -> b -> b) -> b -> Choice One a -> b

foldl :: (b -> a -> b) -> b -> Choice One a -> b

foldl' :: (b -> a -> b) -> b -> Choice One a -> b

foldr1 :: (a -> a -> a) -> Choice One a -> a

foldl1 :: (a -> a -> a) -> Choice One a -> a

toList :: Choice One a -> [a]

null :: Choice One a -> Bool

length :: Choice One a -> Int

elem :: Eq a => a -> Choice One a -> Bool

maximum :: Ord a => Choice One a -> a

minimum :: Ord a => Choice One a -> a

sum :: Num a => Choice One a -> a

product :: Num a => Choice One a -> a

Foldable (Choice AtleastOne)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

fold :: Monoid m => Choice AtleastOne m -> m

foldMap :: Monoid m => (a -> m) -> Choice AtleastOne a -> m

foldr :: (a -> b -> b) -> b -> Choice AtleastOne a -> b

foldr' :: (a -> b -> b) -> b -> Choice AtleastOne a -> b

foldl :: (b -> a -> b) -> b -> Choice AtleastOne a -> b

foldl' :: (b -> a -> b) -> b -> Choice AtleastOne a -> b

foldr1 :: (a -> a -> a) -> Choice AtleastOne a -> a

foldl1 :: (a -> a -> a) -> Choice AtleastOne a -> a

toList :: Choice AtleastOne a -> [a]

null :: Choice AtleastOne a -> Bool

length :: Choice AtleastOne a -> Int

elem :: Eq a => a -> Choice AtleastOne a -> Bool

maximum :: Ord a => Choice AtleastOne a -> a

minimum :: Ord a => Choice AtleastOne a -> a

sum :: Num a => Choice AtleastOne a -> a

product :: Num a => Choice AtleastOne a -> a

Foldable (Choice Many)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

fold :: Monoid m => Choice Many m -> m

foldMap :: Monoid m => (a -> m) -> Choice Many a -> m

foldr :: (a -> b -> b) -> b -> Choice Many a -> b

foldr' :: (a -> b -> b) -> b -> Choice Many a -> b

foldl :: (b -> a -> b) -> b -> Choice Many a -> b

foldl' :: (b -> a -> b) -> b -> Choice Many a -> b

foldr1 :: (a -> a -> a) -> Choice Many a -> a

foldl1 :: (a -> a -> a) -> Choice Many a -> a

toList :: Choice Many a -> [a]

null :: Choice Many a -> Bool

length :: Choice Many a -> Int

elem :: Eq a => a -> Choice Many a -> Bool

maximum :: Ord a => Choice Many a -> a

minimum :: Ord a => Choice Many a -> a

sum :: Num a => Choice Many a -> a

product :: Num a => Choice Many a -> a

Compactable (Choice One)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

compact :: Choice One (Maybe a) -> Choice One a

separate :: Choice One (Either l r) -> (Choice One l, Choice One r)

filter :: (a -> Bool) -> Choice One a -> Choice One a

partition :: (a -> Bool) -> Choice One a -> (Choice One a, Choice One a)

fmapMaybe :: Functor (Choice One) => (a -> Maybe b) -> Choice One a -> Choice One b

fmapEither :: Functor (Choice One) => (a -> Either l r) -> Choice One a -> (Choice One l, Choice One r)

applyMaybe :: Applicative (Choice One) => Choice One (a -> Maybe b) -> Choice One a -> Choice One b

applyEither :: Applicative (Choice One) => Choice One (a -> Either l r) -> Choice One a -> (Choice One l, Choice One r)

bindMaybe :: Monad (Choice One) => Choice One a -> (a -> Choice One (Maybe b)) -> Choice One b

bindEither :: Monad (Choice One) => Choice One a -> (a -> Choice One (Either l r)) -> (Choice One l, Choice One r)

traverseMaybe :: (Applicative g, Traversable (Choice One)) => (a -> g (Maybe b)) -> Choice One a -> g (Choice One b)

traverseEither :: (Applicative g, Traversable (Choice One)) => (a -> g (Either l r)) -> Choice One a -> g (Choice One l, Choice One r)

Compactable (Choice Many)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

compact :: Choice Many (Maybe a) -> Choice Many a

separate :: Choice Many (Either l r) -> (Choice Many l, Choice Many r)

filter :: (a -> Bool) -> Choice Many a -> Choice Many a

partition :: (a -> Bool) -> Choice Many a -> (Choice Many a, Choice Many a)

fmapMaybe :: Functor (Choice Many) => (a -> Maybe b) -> Choice Many a -> Choice Many b

fmapEither :: Functor (Choice Many) => (a -> Either l r) -> Choice Many a -> (Choice Many l, Choice Many r)

applyMaybe :: Applicative (Choice Many) => Choice Many (a -> Maybe b) -> Choice Many a -> Choice Many b

applyEither :: Applicative (Choice Many) => Choice Many (a -> Either l r) -> Choice Many a -> (Choice Many l, Choice Many r)

bindMaybe :: Monad (Choice Many) => Choice Many a -> (a -> Choice Many (Maybe b)) -> Choice Many b

bindEither :: Monad (Choice Many) => Choice Many a -> (a -> Choice Many (Either l r)) -> (Choice Many l, Choice Many r)

traverseMaybe :: (Applicative g, Traversable (Choice Many)) => (a -> g (Maybe b)) -> Choice Many a -> g (Choice Many b)

traverseEither :: (Applicative g, Traversable (Choice Many)) => (a -> g (Either l r)) -> Choice Many a -> g (Choice Many l, Choice Many r)

SetLike (Choice One)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

toSet :: Ord a => Choice One a -> Set a

smap :: Ord b => (a -> b) -> Choice One a -> Choice One b

valid :: Ord a => Choice One a -> Bool

SetLike (Choice AtleastOne)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

toSet :: Ord a => Choice AtleastOne a -> Set a

smap :: Ord b => (a -> b) -> Choice AtleastOne a -> Choice AtleastOne b

valid :: Ord a => Choice AtleastOne a -> Bool

SetLike (Choice Many)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

toSet :: Ord a => Choice Many a -> Set a

smap :: Ord b => (a -> b) -> Choice Many a -> Choice Many b

valid :: Ord a => Choice Many a -> Bool

(Bounded a, Enum a) => Bounded (Choice AtleastOne a)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

minBound :: Choice AtleastOne a

maxBound :: Choice AtleastOne a

(Bounded a, Enum a) => Enum (Choice AtleastOne a)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

succ :: Choice AtleastOne a -> Choice AtleastOne a

pred :: Choice AtleastOne a -> Choice AtleastOne a

toEnum :: Int -> Choice AtleastOne a

fromEnum :: Choice AtleastOne a -> Int

enumFrom :: Choice AtleastOne a -> [Choice AtleastOne a]

enumFromThen :: Choice AtleastOne a -> Choice AtleastOne a -> [Choice AtleastOne a]

enumFromTo :: Choice AtleastOne a -> Choice AtleastOne a -> [Choice AtleastOne a]

enumFromThenTo :: Choice AtleastOne a -> Choice AtleastOne a -> Choice AtleastOne a -> [Choice AtleastOne a]

(Eq (Selected p a), Eq a) => Eq (Choice p a)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

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

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

(Ord (Selected p a), Ord a) => Ord (Choice p a)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

compare :: Choice p a -> Choice p a -> Ordering

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

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

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

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

max :: Choice p a -> Choice p a -> Choice p a

min :: Choice p a -> Choice p a -> Choice p a

(Read (Selected p a), Read a, Ord a) => Read (Choice p a)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

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

readList :: ReadS [Choice p a]

readPrec :: ReadPrec (Choice p a)

readListPrec :: ReadPrec [Choice p a]

(Show (Selected p a), Show a) => Show (Choice p a)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

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

show :: Choice p a -> String

showList :: [Choice p a] -> ShowS

Generic (Choice p a)

Defined in Shpadoinkle.Widgets.Types.Choice

Associated Types

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

Methods

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

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

Ord a => Semigroup (Choice One a)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

(<>) :: Choice One a -> Choice One a -> Choice One a

sconcat :: NonEmpty (Choice One a) -> Choice One a

stimes :: Integral b => b -> Choice One a -> Choice One a

Ord a => Semigroup (Choice AtleastOne a)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

(<>) :: Choice AtleastOne a -> Choice AtleastOne a -> Choice AtleastOne a

sconcat :: NonEmpty (Choice AtleastOne a) -> Choice AtleastOne a

stimes :: Integral b => b -> Choice AtleastOne a -> Choice AtleastOne a

Ord a => Semigroup (Choice Many a)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

(<>) :: Choice Many a -> Choice Many a -> Choice Many a

sconcat :: NonEmpty (Choice Many a) -> Choice Many a

stimes :: Integral b => b -> Choice Many a -> Choice Many a

Ord a => Monoid (Choice One a)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

mempty :: Choice One a

mappend :: Choice One a -> Choice One a -> Choice One a

mconcat :: [Choice One a] -> Choice One a

Ord a => Monoid (Choice Many a)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

mempty :: Choice Many a

mappend :: Choice Many a -> Choice Many a -> Choice Many a

mconcat :: [Choice Many a] -> Choice Many a

(ToJSON (Selected p a), ToJSON a) => ToJSON (Choice p a)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

toJSON :: Choice p a -> Value

toEncoding :: Choice p a -> Encoding

toJSONList :: [Choice p a] -> Value

toEncodingList :: [Choice p a] -> Encoding

(FromJSON (Selected p a), FromJSON a, Ord a) => FromJSON (Choice p a)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

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

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

type Rep (Choice p a)

Defined in Shpadoinkle.Widgets.Types.Choice

type Rep (Choice p a) = D1 (MetaData "Choice" "Shpadoinkle.Widgets.Types.Choice" "Shpadoinkle-widgets-0.0.0.2-inplace" False) (C1 (MetaCons "Choice" PrefixI True) (S1 (MetaSel (Just "_selected") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Selected p a)) :*: S1 (MetaSel (Just "_options") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set a))))

class SetLike f where

Methods

toSet :: Ord a => f a -> Set a

smap :: Ord b => (a -> b) -> f a -> f b

valid :: Ord a => f a -> Bool

Instances

SetLike Maybe

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

toSet :: Ord a => Maybe a -> Set a

smap :: Ord b => (a -> b) -> Maybe a -> Maybe b

valid :: Ord a => Maybe a -> Bool

SetLike Set

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

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

smap :: Ord b => (a -> b) -> Set a -> Set b

valid :: Ord a => Set a -> Bool

(Considered p ~ Maybe, SetLike (Choice p)) => SetLike (ConsideredChoice p)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

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

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

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

SetLike (ConsideredChoice Many)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

toSet :: Ord a => ConsideredChoice Many a -> Set a

smap :: Ord b => (a -> b) -> ConsideredChoice Many a -> ConsideredChoice Many b

valid :: Ord a => ConsideredChoice Many a -> Bool

SetLike (Choice One)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

toSet :: Ord a => Choice One a -> Set a

smap :: Ord b => (a -> b) -> Choice One a -> Choice One b

valid :: Ord a => Choice One a -> Bool

SetLike (Choice AtleastOne)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

toSet :: Ord a => Choice AtleastOne a -> Set a

smap :: Ord b => (a -> b) -> Choice AtleastOne a -> Choice AtleastOne b

valid :: Ord a => Choice AtleastOne a -> Bool

SetLike (Choice Many)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

toSet :: Ord a => Choice Many a -> Set a

smap :: Ord b => (a -> b) -> Choice Many a -> Choice Many b

valid :: Ord a => Choice Many a -> Bool

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

ftoSet :: (Ord a, Foldable g) => g a -> Set a

class SetLike (f p) => Selection f (p :: Pick) where

Methods

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

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

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

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

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

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

Instances

(Considered p ~ Maybe, SetLike (ConsideredChoice p), Selection Choice p) => Selection ConsideredChoice p

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

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

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

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

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

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

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

SetLike (ConsideredChoice Many) => Selection ConsideredChoice Many

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

select :: Ord a => ConsideredChoice Many a -> Selected Many a -> ConsideredChoice Many a

select' :: Ord a => ConsideredChoice Many a -> a -> ConsideredChoice Many a

unselected :: Ord a => ConsideredChoice Many a -> Set a

selected :: Ord a => ConsideredChoice Many a -> Selected Many a

withOptions :: (Foldable g, Ord a) => Selected Many a -> g a -> ConsideredChoice Many a

withOptions' :: (Foldable g, Ord a) => a -> g a -> ConsideredChoice Many a

Selection Choice One

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

select :: Ord a => Choice One a -> Selected One a -> Choice One a

select' :: Ord a => Choice One a -> a -> Choice One a

unselected :: Ord a => Choice One a -> Set a

selected :: Ord a => Choice One a -> Selected One a

withOptions :: (Foldable g, Ord a) => Selected One a -> g a -> Choice One a

withOptions' :: (Foldable g, Ord a) => a -> g a -> Choice One a

Selection Choice AtleastOne

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

select :: Ord a => Choice AtleastOne a -> Selected AtleastOne a -> Choice AtleastOne a

select' :: Ord a => Choice AtleastOne a -> a -> Choice AtleastOne a

unselected :: Ord a => Choice AtleastOne a -> Set a

selected :: Ord a => Choice AtleastOne a -> Selected AtleastOne a

withOptions :: (Foldable g, Ord a) => Selected AtleastOne a -> g a -> Choice AtleastOne a

withOptions' :: (Foldable g, Ord a) => a -> g a -> Choice AtleastOne a

Selection Choice Many

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

select :: Ord a => Choice Many a -> Selected Many a -> Choice Many a

select' :: Ord a => Choice Many a -> a -> Choice Many a

unselected :: Ord a => Choice Many a -> Set a

selected :: Ord a => Choice Many a -> Selected Many a

withOptions :: (Foldable g, Ord a) => Selected Many a -> g a -> Choice Many a

withOptions' :: (Foldable g, Ord a) => a -> g a -> Choice Many 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

class Selection f p => Deselection f (p :: Pick) where

Methods

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

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

Instances

Selection ConsideredChoice One => Deselection ConsideredChoice One

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

noselection :: (Foldable g, Ord a) => g a -> ConsideredChoice One a

deselect :: Ord a => ConsideredChoice One a -> ConsideredChoice One a

Selection ConsideredChoice Many => Deselection ConsideredChoice Many

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

noselection :: (Foldable g, Ord a) => g a -> ConsideredChoice Many a

deselect :: Ord a => ConsideredChoice Many a -> ConsideredChoice Many a

Deselection Choice One

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

noselection :: (Foldable g, Ord a) => g a -> Choice One a

deselect :: Ord a => Choice One a -> Choice One a

Deselection Choice Many

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

noselection :: (Foldable g, Ord a) => g a -> Choice Many a

deselect :: Ord a => Choice Many a -> Choice Many 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

next :: (Selection f AtleastOne, Ord a) => f AtleastOne a -> f AtleastOne a

nextLoop :: (Selection f AtleastOne, Ord a) => f AtleastOne a -> f AtleastOne a

prev :: (Selection f AtleastOne, Ord a) => f AtleastOne a -> f AtleastOne a

prevLoop :: (Selection f AtleastOne, Ord a) => f AtleastOne a -> f AtleastOne a

selectAll :: Choice Many a -> Choice Many a

unsafeSelectFirst :: (Selection f p, Ord a) => f p a -> f p a

unsafeSelectLast :: (Selection f p, Ord a) => f p a -> f p a

selectFirst :: (Selection f p, Ord a) => f p a -> Maybe (f p a)

selectLast :: (Selection f p, Ord a) => f p a -> Maybe (f p a)

fullset :: (Bounded a, Enum a) => Set a

fullOptions :: (Deselection f p, Bounded a, Enum a, Ord a) => f p a

fullOptionsMin :: (Selection f p, Bounded a, Enum a, Ord a) => f p a

fullOptionsMax :: (Selection f p, Bounded a, Enum a, Ord a) => f p a

fromNonEmpty :: (Selection f p, Ord a) => NonEmpty a -> f p a

selectWhen :: (SetLike g, Selection f Many, Ord a) => (a -> Bool) -> g a -> Maybe (f Many a)

selectFirstWhen :: (SetLike g, Deselection f p, Ord a) => (a -> Bool) -> g a -> Maybe (f p a)

selectLastWhen :: (SetLike g, Deselection f p, Ord a) => (a -> Bool) -> g a -> Maybe (f p a)

toList :: (SetLike f, Ord a) => f a -> [a]

singleton :: (Selection f p, Ord a) => a -> f p a

before :: (Selection f AtleastOne, Ord a) => f AtleastOne a -> Set a

unsafeSelectAt :: (SetLike g, Selection f AtleastOne, Ord a) => Int -> g a -> f AtleastOne a

getIndex :: (Selection f AtleastOne, Ord a) => f AtleastOne a -> Int

after :: (Selection f AtleastOne, Ord a) => f AtleastOne a -> Set a

size :: (SetLike g, Ord a) => g a -> Int

insert :: (Selection f p, Ord a) => a -> f p a -> f p a

delete :: (Compactable (f p), Ord a) => a -> f p a -> f p a

addSelection :: (Selection f Many, Ord a) => a -> f Many a -> f Many a

deselectMany :: (Compactable (f p), Ord a) => Set a -> f p a -> f p a

data ConsideredChoice p a

Constructors

ConsideredChoice

Fields

• _consideration :: Considered p a
• _choice :: Choice p a

Instances

Consideration ConsideredChoice One

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

consider :: Ord a => Considered One a -> ConsideredChoice One a -> ConsideredChoice One a

consider' :: Ord a => a -> ConsideredChoice One a -> ConsideredChoice One a

choose :: Ord a => ConsideredChoice One a -> ConsideredChoice One a

choice :: Ord a => ConsideredChoice One a -> Choice One a

considered :: Ord a => ConsideredChoice One a -> Considered One a

shrug :: Ord a => ConsideredChoice One a -> ConsideredChoice One a

Consideration ConsideredChoice AtleastOne

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

consider :: Ord a => Considered AtleastOne a -> ConsideredChoice AtleastOne a -> ConsideredChoice AtleastOne a

consider' :: Ord a => a -> ConsideredChoice AtleastOne a -> ConsideredChoice AtleastOne a

choose :: Ord a => ConsideredChoice AtleastOne a -> ConsideredChoice AtleastOne a

choice :: Ord a => ConsideredChoice AtleastOne a -> Choice AtleastOne a

considered :: Ord a => ConsideredChoice AtleastOne a -> Considered AtleastOne a

shrug :: Ord a => ConsideredChoice AtleastOne a -> ConsideredChoice AtleastOne a

Selection ConsideredChoice Many => Consideration ConsideredChoice Many

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

consider :: Ord a => Considered Many a -> ConsideredChoice Many a -> ConsideredChoice Many a

consider' :: Ord a => a -> ConsideredChoice Many a -> ConsideredChoice Many a

choose :: Ord a => ConsideredChoice Many a -> ConsideredChoice Many a

choice :: Ord a => ConsideredChoice Many a -> Choice Many a

considered :: Ord a => ConsideredChoice Many a -> Considered Many a

shrug :: Ord a => ConsideredChoice Many a -> ConsideredChoice Many a

Selection ConsideredChoice One => Deselection ConsideredChoice One

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

noselection :: (Foldable g, Ord a) => g a -> ConsideredChoice One a

deselect :: Ord a => ConsideredChoice One a -> ConsideredChoice One a

Selection ConsideredChoice Many => Deselection ConsideredChoice Many

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

noselection :: (Foldable g, Ord a) => g a -> ConsideredChoice Many a

deselect :: Ord a => ConsideredChoice Many a -> ConsideredChoice Many a

(Considered p ~ Maybe, SetLike (ConsideredChoice p), Selection Choice p) => Selection ConsideredChoice p

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

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

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

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

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

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

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

SetLike (ConsideredChoice Many) => Selection ConsideredChoice Many

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

select :: Ord a => ConsideredChoice Many a -> Selected Many a -> ConsideredChoice Many a

select' :: Ord a => ConsideredChoice Many a -> a -> ConsideredChoice Many a

unselected :: Ord a => ConsideredChoice Many a -> Set a

selected :: Ord a => ConsideredChoice Many a -> Selected Many a

withOptions :: (Foldable g, Ord a) => Selected Many a -> g a -> ConsideredChoice Many a

withOptions' :: (Foldable g, Ord a) => a -> g a -> ConsideredChoice Many a

(Compactable (Choice p), Compactable (Considered p)) => Compactable (ConsideredChoice p)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

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

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

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

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

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

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

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

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

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

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

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

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

(Considered p ~ Maybe, SetLike (Choice p)) => SetLike (ConsideredChoice p)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

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

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

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

SetLike (ConsideredChoice Many)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

toSet :: Ord a => ConsideredChoice Many a -> Set a

smap :: Ord b => (a -> b) -> ConsideredChoice Many a -> ConsideredChoice Many b

valid :: Ord a => ConsideredChoice Many a -> Bool

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

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

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

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

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

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

compare :: ConsideredChoice p a -> ConsideredChoice p a -> Ordering

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

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

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

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

max :: ConsideredChoice p a -> ConsideredChoice p a -> ConsideredChoice p a

min :: ConsideredChoice p a -> ConsideredChoice p a -> ConsideredChoice p a

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

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

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

readList :: ReadS [ConsideredChoice p a]

readPrec :: ReadPrec (ConsideredChoice p a)

readListPrec :: ReadPrec [ConsideredChoice p a]

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

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

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

show :: ConsideredChoice p a -> String

showList :: [ConsideredChoice p a] -> ShowS

Generic (ConsideredChoice p a)

Defined in Shpadoinkle.Widgets.Types.Choice

Associated Types

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

Methods

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

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

(Ord a, Considered p ~ Maybe, Semigroup (Choice p a)) => Semigroup (ConsideredChoice p a)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

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

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

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

Ord a => Semigroup (ConsideredChoice Many a)

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

(<>) :: ConsideredChoice Many a -> ConsideredChoice Many a -> ConsideredChoice Many a

sconcat :: NonEmpty (ConsideredChoice Many a) -> ConsideredChoice Many a

stimes :: Integral b => b -> ConsideredChoice Many a -> ConsideredChoice Many a

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

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

toJSON :: ConsideredChoice p a -> Value

toEncoding :: ConsideredChoice p a -> Encoding

toJSONList :: [ConsideredChoice p a] -> Value

toEncodingList :: [ConsideredChoice p a] -> Encoding

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

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

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

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

type Rep (ConsideredChoice p a)

Defined in Shpadoinkle.Widgets.Types.Choice

type Rep (ConsideredChoice p a) = D1 (MetaData "ConsideredChoice" "Shpadoinkle.Widgets.Types.Choice" "Shpadoinkle-widgets-0.0.0.2-inplace" False) (C1 (MetaCons "ConsideredChoice" PrefixI True) (S1 (MetaSel (Just "_consideration") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Considered p a)) :*: S1 (MetaSel (Just "_choice") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Choice p a))))

type family Considered (p :: Pick) :: Type -> Type where ...

Equations

Considered One = Maybe

Considered AtleastOne = Maybe

Considered Many = Set

class Selection f p => Consideration f (p :: Pick) where

Methods

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

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

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

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

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

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

Instances

Consideration ConsideredChoice One

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

consider :: Ord a => Considered One a -> ConsideredChoice One a -> ConsideredChoice One a

consider' :: Ord a => a -> ConsideredChoice One a -> ConsideredChoice One a

choose :: Ord a => ConsideredChoice One a -> ConsideredChoice One a

choice :: Ord a => ConsideredChoice One a -> Choice One a

considered :: Ord a => ConsideredChoice One a -> Considered One a

shrug :: Ord a => ConsideredChoice One a -> ConsideredChoice One a

Consideration ConsideredChoice AtleastOne

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

consider :: Ord a => Considered AtleastOne a -> ConsideredChoice AtleastOne a -> ConsideredChoice AtleastOne a

consider' :: Ord a => a -> ConsideredChoice AtleastOne a -> ConsideredChoice AtleastOne a

choose :: Ord a => ConsideredChoice AtleastOne a -> ConsideredChoice AtleastOne a

choice :: Ord a => ConsideredChoice AtleastOne a -> Choice AtleastOne a

considered :: Ord a => ConsideredChoice AtleastOne a -> Considered AtleastOne a

shrug :: Ord a => ConsideredChoice AtleastOne a -> ConsideredChoice AtleastOne a

Selection ConsideredChoice Many => Consideration ConsideredChoice Many

Defined in Shpadoinkle.Widgets.Types.Choice

Methods

consider :: Ord a => Considered Many a -> ConsideredChoice Many a -> ConsideredChoice Many a

consider' :: Ord a => a -> ConsideredChoice Many a -> ConsideredChoice Many a

choose :: Ord a => ConsideredChoice Many a -> ConsideredChoice Many a

choice :: Ord a => ConsideredChoice Many a -> Choice Many a

considered :: Ord a => ConsideredChoice Many a -> Considered Many a

shrug :: Ord a => ConsideredChoice Many a -> ConsideredChoice Many a

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

unsafeConsiderFirst :: (Consideration f p, Ord a) => f p a -> f p a

unsafeConsiderLast :: (Consideration f p, Ord a) => f p a -> f p a

considerNext :: (Considered p a ~ Maybe a, Consideration f p, Ord a) => f p a -> f p a

considerPrev :: (Considered p a ~ Maybe a, Consideration f p, Ord a) => f p a -> f p a