Gamgee.Effects.SecretInput

Effect

data SecretInput i m a where

An effect that provides input to the application. Intended to be used in contexts where the input is a secret such as passwords. Interpretations may chose to "protect" the input appropriately. For example, an IO interpretation may chose not to echo the input to the console.

Constructors

SecretInput

Retrieve a secret input

Fields

• :: Text

  A prompt

• -> SecretInput i m i

Instances

type DefiningModule (SecretInput :: k1 -> k2 -> k1 -> Type)

Defined in Gamgee.Effects.SecretInput

type DefiningModule (SecretInput :: k1 -> k2 -> k1 -> Type) = "Gamgee.Effects.SecretInput"

Actions

secretInput :: forall i r. MemberWithError (SecretInput i) r => Text -> Sem r i

Interpretations

runSecretInputIO :: Member (Embed IO) r => Sem (SecretInput Text ': r) a -> Sem r a