Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data BackendTag (b :: BackendType) where
- class HasTag (b :: BackendType) where
- backendTag :: BackendTag b
- reify :: BackendTag b -> BackendType
Documentation
data BackendTag (b :: BackendType) where Source #
A singleton-like GADT that associates a tag to each backend.
class HasTag (b :: BackendType) where Source #
This class describes how to get a tag for a given type. We use it in AnyBackend: `case backendTag @b of`...
backendTag :: BackendTag b Source #
Instances
HasTag 'MSSQL Source # | |
Defined in Hasura.SQL.Tag backendTag :: BackendTag 'MSSQL Source # | |
HasTag 'BigQuery Source # | |
Defined in Hasura.SQL.Tag | |
HasTag 'MySQL Source # | |
Defined in Hasura.SQL.Tag backendTag :: BackendTag 'MySQL Source # | |
HasTag 'DataConnector Source # | |
Defined in Hasura.SQL.Tag | |
HasTag ('Postgres 'Vanilla) Source # | |
Defined in Hasura.SQL.Tag backendTag :: BackendTag ('Postgres 'Vanilla) Source # | |
HasTag ('Postgres 'Citus) Source # | |
Defined in Hasura.SQL.Tag backendTag :: BackendTag ('Postgres 'Citus) Source # | |
HasTag ('Postgres 'Cockroach) Source # | |
Defined in Hasura.SQL.Tag backendTag :: BackendTag ('Postgres 'Cockroach) Source # |
reify :: BackendTag b -> BackendType Source #
How to convert back from a tag to a runtime value.