harg-0.4.1.0: Haskell program configuration using higher kinded data

Safe HaskellNone
LanguageHaskell2010

Options.Harg.Sources.NoSource

Synopsis

Documentation

data NoSource (f :: Type -> Type) Source #

Throwaway type whose GetSource instance returns no value.

Constructors

NoSource 
Instances
GetSource NoSource f Source # 
Instance details

Defined in Options.Harg.Sources.NoSource

Associated Types

type SourceVal NoSource :: Type Source #

Generic (NoSource f) Source # 
Instance details

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 Source # 
Instance details

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 Source # 
Instance details

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 Source # 
Instance details

Defined in Options.Harg.Sources.NoSource

Methods

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

type SourceVal NoSource Source # 
Instance details

Defined in Options.Harg.Sources.NoSource

type Rep (NoSource f) Source # 
Instance details

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 Source #

Shorthand for writing NoSource.