napkin-runtime
Safe HaskellNone
LanguageGHC2024

Napkin.Spec.Yaml.Types.StaticDictionary

Documentation

data LookupK #

Constructors

Lookup 
Reference 

type LookupFunction a = ModuleFunction -> Maybe a #

type family LookupKind (k :: LookupK) a where ... #

Equations

LookupKind 'Lookup a = LookupFunction a 
LookupKind 'Reference a = Set ModuleFunction 

data StaticDictionary (k :: LookupK) b #

Constructors

StaticDictionary 

Fields

Instances

Instances details
Monoid StaticDictionaryReference # 
Instance details

Defined in Napkin.Spec.Yaml.Types.StaticDictionary

Methods

mempty :: StaticDictionaryReference #

mappend :: StaticDictionaryReference -> StaticDictionaryReference -> StaticDictionaryReference #

mconcat :: [StaticDictionaryReference] -> StaticDictionaryReference #

Semigroup StaticDictionaryReference # 
Instance details

Defined in Napkin.Spec.Yaml.Types.StaticDictionary

Methods

(<>) :: StaticDictionaryReference -> StaticDictionaryReference -> StaticDictionaryReference #

sconcat :: NonEmpty StaticDictionaryReference -> StaticDictionaryReference #

stimes :: Integral b => b -> StaticDictionaryReference -> StaticDictionaryReference #

Show StaticDictionaryReference # 
Instance details

Defined in Napkin.Spec.Yaml.Types.StaticDictionary

Methods

showsPrec :: Int -> StaticDictionaryReference -> ShowS #

show :: StaticDictionaryReference -> String #

showList :: [StaticDictionaryReference] -> ShowS #

Default (StaticDictionaryLookup b) # 
Instance details

Defined in Napkin.Spec.Yaml.Types.StaticDictionary

Methods

def :: StaticDictionaryLookup b #

Generic (StaticDictionary k b) # 
Instance details

Defined in Napkin.Spec.Yaml.Types.StaticDictionary

Associated Types

type Rep (StaticDictionary k b) 
Instance details

Defined in Napkin.Spec.Yaml.Types.StaticDictionary

type Rep (StaticDictionary k b) = D1 ('MetaData "StaticDictionary" "Napkin.Spec.Yaml.Types.StaticDictionary" "napkin-runtime-2.0.0-5GLbAKEN1Yk29rxMrGR38M" 'False) (C1 ('MetaCons "StaticDictionary" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cli") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LookupKind k (CLIProgram b))) :*: (S1 ('MetaSel ('Just "validator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LookupKind k CustomValidator)) :*: S1 ('MetaSel ('Just "spec") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LookupKind k (Spec b ()))))) :*: ((S1 ('MetaSel ('Just "preprocessor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LookupKind k (SpecPreprocessorWithArgParser b))) :*: S1 ('MetaSel ('Just "hookProgram") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LookupKind k (HookProgramWithArgParser b)))) :*: (S1 ('MetaSel ('Just "specProgram") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LookupKind k (SpecProgramWithArgParser b))) :*: S1 ('MetaSel ('Just "emptyDict") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Any)))))

Methods

from :: StaticDictionary k b -> Rep (StaticDictionary k b) x #

to :: Rep (StaticDictionary k b) x -> StaticDictionary k b #

type Rep (StaticDictionary k b) # 
Instance details

Defined in Napkin.Spec.Yaml.Types.StaticDictionary

type Rep (StaticDictionary k b) = D1 ('MetaData "StaticDictionary" "Napkin.Spec.Yaml.Types.StaticDictionary" "napkin-runtime-2.0.0-5GLbAKEN1Yk29rxMrGR38M" 'False) (C1 ('MetaCons "StaticDictionary" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cli") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LookupKind k (CLIProgram b))) :*: (S1 ('MetaSel ('Just "validator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LookupKind k CustomValidator)) :*: S1 ('MetaSel ('Just "spec") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LookupKind k (Spec b ()))))) :*: ((S1 ('MetaSel ('Just "preprocessor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LookupKind k (SpecPreprocessorWithArgParser b))) :*: S1 ('MetaSel ('Just "hookProgram") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LookupKind k (HookProgramWithArgParser b)))) :*: (S1 ('MetaSel ('Just "specProgram") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LookupKind k (SpecProgramWithArgParser b))) :*: S1 ('MetaSel ('Just "emptyDict") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Any)))))

type StaticDictionaryLookup = StaticDictionary 'Lookup #

type StaticDictionaryReference = StaticDictionary 'Reference () #

type SomeStaticDictionary = forall b. StaticDictionaryLookup b #

extractModuleFunctions :: StaticDictionaryReference -> Set ModuleFunction #