| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
Napkin.Revert.Types
Contents
Documentation
newtype RenderingError #
Constructors
| RenderingError Text |
Instances
| Exception RenderingError # | |
Defined in Napkin.Revert.Types Methods toException :: RenderingError -> SomeException # fromException :: SomeException -> Maybe RenderingError # displayException :: RenderingError -> String # backtraceDesired :: RenderingError -> Bool # | |
| Show RenderingError # | |
Defined in Napkin.Revert.Types Methods showsPrec :: Int -> RenderingError -> ShowS # show :: RenderingError -> String # showList :: [RenderingError] -> ShowS # | |
notSupported :: Text -> a #
class BackendName b => BackendOperators (b :: k) where #
Minimal complete definition
Nothing
Methods
explicitColumnListForBackend :: Query -> Maybe [Ref SExp] #
binaryOperatorsForBackend :: [NonEmpty Name] #
unaryOperatorsForBackend :: [NonEmpty Name] #
varargsOperatorsForBackend :: [NonEmpty Name] #
customOperatorsForBackend :: Map (CI (NonEmpty Name)) ([ScalarExpr] -> ScalarExpr) #
arrayItemForBackend :: ArrayBase -> Nullability -> ScalarExpr -> ScalarExpr -> ScalarExpr #
arrayValueForBackend :: Maybe TypeExpr -> [ScalarExpr] -> ScalarExpr #
structValueForBackend :: [(ScalarExpr, Maybe Text)] -> Maybe [(Maybe Text, TypeExpr)] -> ScalarExpr #
varargsOperators :: forall {k} (b :: k). BackendOperators b => [CI (NonEmpty Name)] #
unaryOperators :: forall {k} (b :: k). BackendOperators b => [CI (NonEmpty Name)] #
binaryOperators :: forall {k} (b :: k). BackendOperators b => [CI (NonEmpty Name)] #
type BackendDialect (b :: k) = (SimpleTypeName b 'TyInteger, SimpleTypeName b 'TySmallInt, SimpleTypeName b 'TyBigInt, SimpleTypeName b 'TyDecimal, SimpleTypeName b 'TyReal, SimpleTypeName b 'TyDouble, SimpleTypeName b 'TyBool, SimpleTypeName b 'TyBlob, SimpleTypeName b 'TyChar, SimpleTypeName b 'TyVarChar, SimpleTypeName b 'TyDate, SimpleTypeName b 'TyTimestamp, SimpleTypeName b 'TyDatetime, BackendOperators b, NapkinParserDialect b) #
class SimpleTypeName (b :: k) (a :: Type) where #
Methods
simpleName :: String #
convertTypeForBackend :: forall {k} (b :: k). BackendDialect b => Type -> TypeName #
simpleTypeName :: TypeName -> Maybe [Name] #