| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
ClickHaskell.Parameters
Description
Deprecated: This module would be deleted in next minor releasePlease move its imports to ClickHaskell module
Documentation
parameters :: (Parameters '[] -> Parameters passedParameters) -> Builder Source #
parameter :: forall name chType parameters userType. (ToChType chType userType, KnownParameter (Parameter name chType)) => userType -> Parameters parameters -> Parameters (Parameter name chType ': parameters) Source #
renderParameters :: Parameters params -> Builder Source #
data Parameters parameters where Source #
Constructors
| NoParameters :: Parameters '[] | |
| AddParameter :: KnownParameter (Parameter name chType) => Parameter name chType -> Parameters parameters -> Parameters (Parameter name chType ': parameters) |
renderParameter :: forall name chType. KnownParameter (Parameter name chType) => Parameter name chType -> Builder Source #
type family CheckParameters (required :: [Type]) (passed :: [Type]) :: Constraint where ... Source #
Equations
| CheckParameters required passed = GoCheckParameters required passed '[] |