Safe Haskell | None |
---|---|
Language | GHC2021 |
Effectful.Optparse.Static
Description
Provides a static effect for optparse-applicative.
Since: 0.1
Synopsis
- data Optparse (a :: Type -> Type) b
- execParser :: forall (es :: [Effect]) a. (HasCallStack, Optparse :> es) => ParserInfo a -> Eff es a
- customExecParser :: forall (es :: [Effect]) a. (HasCallStack, Optparse :> es) => ParserPrefs -> ParserInfo a -> Eff es a
- handleParseResult :: forall (es :: [Effect]) a. (HasCallStack, Optparse :> es) => ParserResult a -> Eff es a
- runOptparse :: forall (es :: [Effect]) a. (HasCallStack, IOE :> es) => Eff (Optparse ': es) a -> Eff es a
- type OsPath = OsString
- osPath :: ReadM OsPath
- validOsPath :: ReadM OsPath
Effect
data Optparse (a :: Type -> Type) b Source #
Static effect for optparse-applicative.
Since: 0.1
Instances
type DispatchOf Optparse Source # | |
Defined in Effectful.Optparse.Static | |
data StaticRep Optparse Source # | |
Defined in Effectful.Optparse.Static |
execParser :: forall (es :: [Effect]) a. (HasCallStack, Optparse :> es) => ParserInfo a -> Eff es a Source #
Lifted execParser
.
Since: 0.1
customExecParser :: forall (es :: [Effect]) a. (HasCallStack, Optparse :> es) => ParserPrefs -> ParserInfo a -> Eff es a Source #
Lifted execParser
.
Since: 0.1
handleParseResult :: forall (es :: [Effect]) a. (HasCallStack, Optparse :> es) => ParserResult a -> Eff es a Source #
Lifted execParser
.
Since: 0.1
Handler
runOptparse :: forall (es :: [Effect]) a. (HasCallStack, IOE :> es) => Eff (Optparse ': es) a -> Eff es a Source #
Runs an Optparse effect.
Since: 0.1
Misc
Type representing filenames/pathnames.
This type doesn't add any guarantees over OsString
.