Options.Harg.Sources.NoSource

Documentation

data NoSource (f :: Type -> Type)

Throwaway type whose GetSource instance returns no value.

Constructors

NoSource

Instances

GetSource NoSource f

Defined in Options.Harg.Sources.NoSource

Associated Types

type SourceVal NoSource :: Type

Methods

getSource :: HargCtx -> NoSource f -> IO (SourceVal NoSource)

Generic (NoSource f)

Defined in Options.Harg.Sources.NoSource

Associated Types

type Rep (NoSource f) :: Type -> Type

Methods

from :: NoSource f -> Rep (NoSource f) x

to :: Rep (NoSource f) x -> NoSource f

ProductB NoSource

Defined in Options.Harg.Sources.NoSource

Methods

bprod :: NoSource f -> NoSource g -> NoSource (Product f g)

buniq :: (forall (a :: k). f a) -> NoSource f

TraversableB NoSource

Defined in Options.Harg.Sources.NoSource

Methods

btraverse :: Applicative t => (forall (a :: k). f a -> t (g a)) -> NoSource f -> t (NoSource g)

FunctorB NoSource

Defined in Options.Harg.Sources.NoSource

Methods

bmap :: (forall (a :: k). f a -> g a) -> NoSource f -> NoSource g

type SourceVal NoSource

Defined in Options.Harg.Sources.NoSource

type SourceVal NoSource = ()

type Rep (NoSource f)

Defined in Options.Harg.Sources.NoSource

type Rep (NoSource f) = D1 (MetaData "NoSource" "Options.Harg.Sources.NoSource" "harg-0.4.1.0-7KkJyc3m6UBApAYFZEJtHF" False) (C1 (MetaCons "NoSource" PrefixI False) (U1 :: Type -> Type))

noSources :: NoSource f

Shorthand for writing NoSource.