Summoner.Decision

Decision data type.

Documentation

data Decision

Used for detecting the user decision during CLI input.

Constructors

Idk

Nop

Yes

Instances

Bounded Decision

Defined in Summoner.Decision

Methods

minBound :: Decision

maxBound :: Decision

Enum Decision

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

Defined in Summoner.Decision

Methods

(==) :: Decision -> Decision -> Bool

(/=) :: Decision -> Decision -> Bool

Show Decision

Defined in Summoner.Decision

Methods

showsPrec :: Int -> Decision -> ShowS

show :: Decision -> String

showList :: [Decision] -> ShowS

Generic Decision

Defined in Summoner.Decision

Associated Types

type Rep Decision :: Type -> Type

Methods

from :: Decision -> Rep Decision x

to :: Rep Decision x -> Decision

Semigroup Decision

Defined in Summoner.Decision

Methods

(<>) :: Decision -> Decision -> Decision

sconcat :: NonEmpty Decision -> Decision

stimes :: Integral b => b -> Decision -> Decision

Monoid Decision

Defined in Summoner.Decision

Methods

mempty :: Decision

mappend :: Decision -> Decision -> Decision

mconcat :: [Decision] -> Decision

GMonoid Decision

Defined in Summoner.Decision

Methods

gmempty :: Decision

gmappend :: Decision -> Decision -> Decision

gmconcat :: [Decision] -> Decision

GSemigroup Decision

Defined in Summoner.Decision

Methods

gsappend :: Decision -> Decision -> Decision

gstimes :: Integral b => b -> Decision -> Decision

gsconcat :: NonEmpty Decision -> Decision

type Rep Decision

Defined in Summoner.Decision

type Rep Decision = D1 (MetaData "Decision" "Summoner.Decision" "summoner-1.4.0.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 -> YesNoPrompt -> IO Bool