Copyright	(c) 2017-2019 Kowainik
License	MPL-2.0
Maintainer	Kowainik <xrom.xkov@gmail.com>
Safe Haskell	None
Language	Haskell2010

Summoner.Decision

Description

Decision data type.

Synopsis

data Decision
- = Idk
- | Nop
- | Yes
decisionToBool :: Decision -> Bool
decisionsToBools :: (Decision, Decision) -> (Bool, Bool)
promptDecisionToBool :: Decision -> YesNoPrompt -> IO Bool

Documentation

data Decision Source #

Used for detecting the user decision during CLI input.

Constructors

Idk
Nop
Yes

Instances

Instances details

Bounded Decision Source #
Instance details Defined in Summoner.Decision Methods minBound :: Decision # maxBound :: Decision #
Enum Decision Source #
Instance details Defined in Summoner.Decision Methods succ :: Decision -> Decision # pred :: Decision -> Decision # toEnum :: Int -> Decision # fromEnum :: Decision -> Int # enumFrom :: Decision -> [Decision] # enumFromThen :: Decision -> Decision -> [Decision] # enumFromTo :: Decision -> Decision -> [Decision] # enumFromThenTo :: Decision -> Decision -> Decision -> [Decision] #
Eq Decision Source #
Instance details Defined in Summoner.Decision Methods (==) :: Decision -> Decision -> Bool # (/=) :: Decision -> Decision -> Bool #
Show Decision Source #
Instance details Defined in Summoner.Decision Methods showsPrec :: Int -> Decision -> ShowS # show :: Decision -> String # showList :: [Decision] -> ShowS #
Generic Decision Source #
Instance details Defined in Summoner.Decision Associated Types type Rep Decision :: Type -> Type # Methods from :: Decision -> Rep Decision x # to :: Rep Decision x -> Decision #
Semigroup Decision Source #
Instance details Defined in Summoner.Decision Methods (<>) :: Decision -> Decision -> Decision # sconcat :: NonEmpty Decision -> Decision # stimes :: Integral b => b -> Decision -> Decision #
Monoid Decision Source #
Instance details Defined in Summoner.Decision Methods mempty :: Decision # mappend :: Decision -> Decision -> Decision # mconcat :: [Decision] -> Decision #
type Rep Decision Source #
Instance details Defined in Summoner.Decision type Rep Decision = D1 ('MetaData "Decision" "Summoner.Decision" "summoner-2.0.1.0-inplace" 'False) (C1 ('MetaCons "Idk" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Nop" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Yes" 'PrefixI 'False) (U1 :: Type -> Type)))

decisionToBool :: Decision -> Bool Source #

Translate Decision to Bool.

decisionsToBools :: (Decision, Decision) -> (Bool, Bool) Source #

Translate a pair of dependant Decisions to the pair of Bools.

promptDecisionToBool :: Decision -> YesNoPrompt -> IO Bool Source #

Prompt the Decision to terminal output depending on the value.