Database.Persist.Quasi.Internal

This Internal module may have breaking changes that will not be reflected in major version bumps. Please use Database.Persist.Quasi instead. If you need something in this module, please file an issue on GitHub.

Since: 2.13.0.0

Documentation

parse :: PersistSettings -> Text -> [UnboundEntityDef]

Parses a quasi-quoted syntax into a list of entity definitions.

data PersistSettings

Constructors

PersistSettings

Fields

• psToDBName :: !(Text -> Text)

  Modify the Haskell-style name into a database-style name.

• psToFKName :: !(EntityNameHS -> ConstraintNameHS -> Text)

  A function for generating the constraint name, with access to the entity and constraint names. Default value: mappend

  Since: 2.13.0.0

• psStrictFields :: !Bool

  Whether fields are by default strict. Default value: True.

  Since: 1.2

• psIdName :: !Text

  The name of the id column. Default value: id The name of the id column can also be changed on a per-model basis https://github.com/yesodweb/persistent/wiki/Persistent-entity-syntax

  Since: 2.0

upperCaseSettings :: PersistSettings

lowerCaseSettings :: PersistSettings

toFKNameInfixed :: Text -> EntityNameHS -> ConstraintNameHS -> Text

data Token

A token used by the parser.

Constructors

Token Text

Token tok is token tok already unquoted.

DocComment Text

DocComment is a documentation comment, unmodified.

Instances

Eq Token

Defined in Database.Persist.Quasi.Internal

Methods

(==) :: Token -> Token -> Bool

(/=) :: Token -> Token -> Bool

Show Token

Defined in Database.Persist.Quasi.Internal

Methods

showsPrec :: Int -> Token -> ShowS

show :: Token -> String

showList :: [Token] -> ShowS

data Line

A line of parsed tokens

Constructors

Line

Fields

• lineIndent :: Int
• tokens :: NonEmpty Token

Instances

Eq Line

Defined in Database.Persist.Quasi.Internal

Methods

(==) :: Line -> Line -> Bool

(/=) :: Line -> Line -> Bool

Show Line

Defined in Database.Persist.Quasi.Internal

Methods

showsPrec :: Int -> Line -> ShowS

show :: Line -> String

showList :: [Line] -> ShowS

preparse :: Text -> Maybe (NonEmpty Line)

parseLine :: Text -> Maybe Line

parseFieldType :: Text -> Either String FieldType

associateLines :: NonEmpty Line -> [LinesWithComments]

data LinesWithComments

Constructors

LinesWithComments

Fields

• lwcLines :: NonEmpty Line
• lwcComments :: [Text]

Instances

Eq LinesWithComments

Defined in Database.Persist.Quasi.Internal

Methods

(==) :: LinesWithComments -> LinesWithComments -> Bool

(/=) :: LinesWithComments -> LinesWithComments -> Bool

Show LinesWithComments

Defined in Database.Persist.Quasi.Internal

Methods

showsPrec :: Int -> LinesWithComments -> ShowS

show :: LinesWithComments -> String

showList :: [LinesWithComments] -> ShowS

Semigroup LinesWithComments

Defined in Database.Persist.Quasi.Internal

Methods

(<>) :: LinesWithComments -> LinesWithComments -> LinesWithComments

sconcat :: NonEmpty LinesWithComments -> LinesWithComments

stimes :: Integral b => b -> LinesWithComments -> LinesWithComments

parseEntityFields :: [Line] -> ([[Token]], Map Text [ExtraLine])

takeColsEx :: PersistSettings -> [Text] -> Maybe UnboundFieldDef

UnboundEntityDef

data UnboundEntityDef

An EntityDef produced by the QuasiQuoter. It contains information that the QuasiQuoter is capable of knowing about the entities. It is inherently unfinished, though - there are many other Unbound datatypes that also contain partial information.

The unboundEntityDef is not complete or reliable - to know which fields are safe to use, consult the parsing code.

This type was completely internal until 2.13.0.0, when it was exposed as part of the Database.Persist.Quasi.Internal module.

TODO: refactor this so we can expose it for consumers.

Since: 2.13.0.0

Constructors

UnboundEntityDef

Fields

• unboundForeignDefs :: [UnboundForeignDef]

  A list of foreign definitions on the parsed entity.

  Since: 2.13.0.0

• unboundPrimarySpec :: PrimarySpec

  The specification for the primary key of the unbound entity.

  Since: 2.13.0.0

• unboundEntityDef :: EntityDef

  The incomplete and partial EntityDef that we're defining. We re-use the type here to prevent duplication, but several of the fields are unset and left to defaults.

  Since: 2.13.0.0

• unboundEntityFields :: [UnboundFieldDef]

  The list of fields for the entity. We're not capable of knowing information like "is this a reference?" or "what's the underlying type of the field?" yet, so we defer those to the Template Haskell execution.

  Since: 2.13.0.0

Instances

Eq UnboundEntityDef

Defined in Database.Persist.Quasi.Internal

Methods

(==) :: UnboundEntityDef -> UnboundEntityDef -> Bool

(/=) :: UnboundEntityDef -> UnboundEntityDef -> Bool

Ord UnboundEntityDef

Defined in Database.Persist.Quasi.Internal

Methods

compare :: UnboundEntityDef -> UnboundEntityDef -> Ordering

(<) :: UnboundEntityDef -> UnboundEntityDef -> Bool

(<=) :: UnboundEntityDef -> UnboundEntityDef -> Bool

(>) :: UnboundEntityDef -> UnboundEntityDef -> Bool

(>=) :: UnboundEntityDef -> UnboundEntityDef -> Bool

max :: UnboundEntityDef -> UnboundEntityDef -> UnboundEntityDef

min :: UnboundEntityDef -> UnboundEntityDef -> UnboundEntityDef

Show UnboundEntityDef

Defined in Database.Persist.Quasi.Internal

Methods

showsPrec :: Int -> UnboundEntityDef -> ShowS

show :: UnboundEntityDef -> String

showList :: [UnboundEntityDef] -> ShowS

Lift UnboundEntityDef

Defined in Database.Persist.Quasi.Internal

Methods

lift :: UnboundEntityDef -> Q Exp

liftTyped :: UnboundEntityDef -> Q (TExp UnboundEntityDef)

getUnboundEntityNameHS :: UnboundEntityDef -> EntityNameHS

Return the EntityNameHS for an UnboundEntityDef.

Since: 2.13.0.0

unbindEntityDef :: EntityDef -> UnboundEntityDef

Convert an EntityDef into an UnboundEntityDef. This "forgets" information about the EntityDef, but it is all kept present on the unboundEntityDef field if necessary.

Since: 2.13.0.0

getUnboundFieldDefs :: UnboundEntityDef -> [UnboundFieldDef]

Returns the [UnboundFieldDef] for an UnboundEntityDef. This returns all fields defined on the entity.

Since: 2.13.0.0

data UnboundForeignDef

Define an explicit foreign key reference.

User
    name Text
    email Text

    Primary name email

Dog
    ownerName Text
    ownerEmail Text

    Foreign User fk_dog_user ownerName ownerEmail

Since: 2.13.0.0

Constructors

UnboundForeignDef

Fields

• unboundForeignFields :: UnboundForeignFieldList

  Fields in the source entity.

  Since: 2.13.0.0

• unboundForeignDef :: ForeignDef

  The ForeignDef which needs information filled in.

  This value is unreliable. See the parsing code to see what data is filled in here.

  Since: 2.13.0.0

Instances

Eq UnboundForeignDef

Defined in Database.Persist.Quasi.Internal

Methods

(==) :: UnboundForeignDef -> UnboundForeignDef -> Bool

(/=) :: UnboundForeignDef -> UnboundForeignDef -> Bool

Ord UnboundForeignDef

Defined in Database.Persist.Quasi.Internal

Methods

compare :: UnboundForeignDef -> UnboundForeignDef -> Ordering

(<) :: UnboundForeignDef -> UnboundForeignDef -> Bool

(<=) :: UnboundForeignDef -> UnboundForeignDef -> Bool

(>) :: UnboundForeignDef -> UnboundForeignDef -> Bool

(>=) :: UnboundForeignDef -> UnboundForeignDef -> Bool

max :: UnboundForeignDef -> UnboundForeignDef -> UnboundForeignDef

min :: UnboundForeignDef -> UnboundForeignDef -> UnboundForeignDef

Show UnboundForeignDef

Defined in Database.Persist.Quasi.Internal

Methods

showsPrec :: Int -> UnboundForeignDef -> ShowS

show :: UnboundForeignDef -> String

showList :: [UnboundForeignDef] -> ShowS

Lift UnboundForeignDef

Defined in Database.Persist.Quasi.Internal

Methods

lift :: UnboundForeignDef -> Q Exp

liftTyped :: UnboundForeignDef -> Q (TExp UnboundForeignDef)

getSqlNameOr :: FieldNameDB -> [FieldAttr] -> FieldNameDB

data UnboundFieldDef

A representation of a database column, with everything that can be known at parse time.

Since: 2.13.0.0

Constructors

UnboundFieldDef

Fields

• unboundFieldNameHS :: FieldNameHS

  The Haskell name of the field. This is parsed directly from the definition, and is used to generate the Haskell record field and the EntityField definition.

  Since: 2.13.0.0

• unboundFieldNameDB :: FieldNameDB

  The database name of the field. By default, this is determined by the PersistSettings record at parse time. You can customize this with a sql= attribute:

      name Text  sql=foo_name
  

  Since: 2.13.0.0

• unboundFieldAttrs :: [FieldAttr]

  The attributes present on the field. For rules on parsing and utility, see the comments on the datatype.

  Since: 2.13.0.0

• unboundFieldStrict :: Bool

  Whether or not the field should be strict in the generated Haskell code.

  Since: 2.13.0.0

• unboundFieldType :: FieldType

  The type of the field, as far as is known at parse time.

  The TemplateHaskell code will reconstruct a Type out of this, but the names will be imported as-is.

  Since: 2.13.0.0

• unboundFieldCascade :: FieldCascade

  We parse if there's a FieldCascade on the field. If the field is not a reference, this information is ignored.

  Post
     user UserId OnDeleteCascade
  

  Since: 2.13.0.0

• unboundFieldGenerated :: Maybe Text

  Contains an expression to generate the column. If this is present, then the column will not be written to the database, but generated by the expression every time.

  Item
      subtotal Int
      taxRate  Rational
      total    Int      generated="subtotal * tax_rate"
  

  Since: 2.13.0.0

• unboundFieldComments :: Maybe Text

  Any comments present on the field. Documentation comments use a Haskell-like syntax, and must be present before the field in question.

  Post
      -- | This is the blog post title.
      title Text
      -- | You can have multi-line comments.
      -- | But each line must have the pipe character.
      author UserId
  

  Since: 2.13.0.0

Instances

Eq UnboundFieldDef

Defined in Database.Persist.Quasi.Internal

Methods

(==) :: UnboundFieldDef -> UnboundFieldDef -> Bool

(/=) :: UnboundFieldDef -> UnboundFieldDef -> Bool

Ord UnboundFieldDef

Defined in Database.Persist.Quasi.Internal

Methods

compare :: UnboundFieldDef -> UnboundFieldDef -> Ordering

(<) :: UnboundFieldDef -> UnboundFieldDef -> Bool

(<=) :: UnboundFieldDef -> UnboundFieldDef -> Bool

(>) :: UnboundFieldDef -> UnboundFieldDef -> Bool

(>=) :: UnboundFieldDef -> UnboundFieldDef -> Bool

max :: UnboundFieldDef -> UnboundFieldDef -> UnboundFieldDef

min :: UnboundFieldDef -> UnboundFieldDef -> UnboundFieldDef

Show UnboundFieldDef

Defined in Database.Persist.Quasi.Internal

Methods

showsPrec :: Int -> UnboundFieldDef -> ShowS

show :: UnboundFieldDef -> String

showList :: [UnboundFieldDef] -> ShowS

Lift UnboundFieldDef

Defined in Database.Persist.Quasi.Internal

Methods

lift :: UnboundFieldDef -> Q Exp

liftTyped :: UnboundFieldDef -> Q (TExp UnboundFieldDef)

data UnboundCompositeDef

A definition for a composite primary key.

@since.2.13.0.0

Constructors

UnboundCompositeDef

Fields

• unboundCompositeCols :: NonEmpty FieldNameHS

  The field names for the primary key.

  Since: 2.13.0.0

• unboundCompositeAttrs :: [Attr]

  A list of attributes defined on the primary key. This is anything that occurs after a ! character.

  Since: 2.13.0.0

Instances

Eq UnboundCompositeDef

Defined in Database.Persist.Quasi.Internal

Methods

(==) :: UnboundCompositeDef -> UnboundCompositeDef -> Bool

(/=) :: UnboundCompositeDef -> UnboundCompositeDef -> Bool

Ord UnboundCompositeDef

Defined in Database.Persist.Quasi.Internal

Methods

compare :: UnboundCompositeDef -> UnboundCompositeDef -> Ordering

(<) :: UnboundCompositeDef -> UnboundCompositeDef -> Bool

(<=) :: UnboundCompositeDef -> UnboundCompositeDef -> Bool

(>) :: UnboundCompositeDef -> UnboundCompositeDef -> Bool

(>=) :: UnboundCompositeDef -> UnboundCompositeDef -> Bool

max :: UnboundCompositeDef -> UnboundCompositeDef -> UnboundCompositeDef

min :: UnboundCompositeDef -> UnboundCompositeDef -> UnboundCompositeDef

Show UnboundCompositeDef

Defined in Database.Persist.Quasi.Internal

Methods

showsPrec :: Int -> UnboundCompositeDef -> ShowS

show :: UnboundCompositeDef -> String

showList :: [UnboundCompositeDef] -> ShowS

Lift UnboundCompositeDef

Defined in Database.Persist.Quasi.Internal

Methods

lift :: UnboundCompositeDef -> Q Exp

liftTyped :: UnboundCompositeDef -> Q (TExp UnboundCompositeDef)

data UnboundIdDef

This type represents an Id declaration in the QuasiQuoted syntax.

Id

This uses the implied settings, and is equivalent to omitting the Id statement entirely.

Id Text

This will set the field type of the ID to be Text.

Id Text sql=foo_id

This will set the field type of the Id to be Text and the SQL DB name to be foo_id.

Id FooId

This results in a shared primary key - the FooId refers to a Foo table.

Id FooId OnDelete Cascade

You can set a cascade behavior on an ID column.

Since: 2.13.0.0

Constructors

UnboundIdDef

Fields

• unboundIdEntityName :: EntityNameHS
• unboundIdDBName :: !FieldNameDB
• unboundIdAttrs :: [FieldAttr]
• unboundIdCascade :: FieldCascade
• unboundIdType :: Maybe FieldType

Instances

Eq UnboundIdDef

Defined in Database.Persist.Quasi.Internal

Methods

(==) :: UnboundIdDef -> UnboundIdDef -> Bool

(/=) :: UnboundIdDef -> UnboundIdDef -> Bool

Ord UnboundIdDef

Defined in Database.Persist.Quasi.Internal

Methods

compare :: UnboundIdDef -> UnboundIdDef -> Ordering

(<) :: UnboundIdDef -> UnboundIdDef -> Bool

(<=) :: UnboundIdDef -> UnboundIdDef -> Bool

(>) :: UnboundIdDef -> UnboundIdDef -> Bool

(>=) :: UnboundIdDef -> UnboundIdDef -> Bool

max :: UnboundIdDef -> UnboundIdDef -> UnboundIdDef

min :: UnboundIdDef -> UnboundIdDef -> UnboundIdDef

Show UnboundIdDef

Defined in Database.Persist.Quasi.Internal

Methods

showsPrec :: Int -> UnboundIdDef -> ShowS

show :: UnboundIdDef -> String

showList :: [UnboundIdDef] -> ShowS

Lift UnboundIdDef

Defined in Database.Persist.Quasi.Internal

Methods

lift :: UnboundIdDef -> Q Exp

liftTyped :: UnboundIdDef -> Q (TExp UnboundIdDef)

unbindFieldDef :: FieldDef -> UnboundFieldDef

Forget innformation about a FieldDef so it can beused as an UnboundFieldDef.

Since: 2.13.0.0

isUnboundFieldNullable :: UnboundFieldDef -> IsNullable

unboundIdDefToFieldDef :: FieldNameDB -> EntityNameHS -> UnboundIdDef -> FieldDef

Convert an UnboundIdDef into a FieldDef suitable for use in the EntityIdField constructor.

Since: 2.13.0.0

data PrimarySpec

The specification for how an entity's primary key should be formed.

Persistent requires that every table have a primary key. By default, an implied ID is assigned, based on the mpsImplicitIdDef field on MkPersistSettings. Because we can't access that type at parse-time, we defer that decision until later.

Since: 2.13.0.0

Constructors

NaturalKey UnboundCompositeDef

A NaturalKey contains columns that are defined on the datatype itself. This is defined using the Primary keyword and given a non-empty list of columns.

User
    name    Text
    email   Text

    Primary name email

A natural key may also contain only a single column. A natural key with multiple columns is called a 'composite key'.

Since: 2.13.0.0

SurrogateKey UnboundIdDef

A surrogate key is not part of the domain model for a database table. You can specify a custom surro

You can specify a custom surrogate key using the Id syntax.

User
    Id    Text
    name  Text

Note that you must provide a default= expression when using this in order to use insert or related functions. The insertKey function can be used instead, as it allows you to specify a key directly. Fixing this issue is tracked in #1247 on GitHub.

Since: 2.13.0.0

DefaultKey FieldNameDB

The default key for the entity using the settings in MkPersistSettings.

This is implicit - a table without an Id or Primary declaration will have a DefaultKey.

Since: 2.13.0.0

Instances

Eq PrimarySpec

Defined in Database.Persist.Quasi.Internal

Methods

(==) :: PrimarySpec -> PrimarySpec -> Bool

(/=) :: PrimarySpec -> PrimarySpec -> Bool

Ord PrimarySpec

Defined in Database.Persist.Quasi.Internal

Methods

compare :: PrimarySpec -> PrimarySpec -> Ordering

(<) :: PrimarySpec -> PrimarySpec -> Bool

(<=) :: PrimarySpec -> PrimarySpec -> Bool

(>) :: PrimarySpec -> PrimarySpec -> Bool

(>=) :: PrimarySpec -> PrimarySpec -> Bool

max :: PrimarySpec -> PrimarySpec -> PrimarySpec

min :: PrimarySpec -> PrimarySpec -> PrimarySpec

Show PrimarySpec

Defined in Database.Persist.Quasi.Internal

Methods

showsPrec :: Int -> PrimarySpec -> ShowS

show :: PrimarySpec -> String

showList :: [PrimarySpec] -> ShowS

Lift PrimarySpec

Defined in Database.Persist.Quasi.Internal

Methods

lift :: PrimarySpec -> Q Exp

liftTyped :: PrimarySpec -> Q (TExp PrimarySpec)

mkAutoIdField' :: FieldNameDB -> EntityNameHS -> SqlType -> FieldDef

Creates a default ID field.

Since: 2.13.0.0

data UnboundForeignFieldList

A list of fields present on the foreign reference.

Constructors

FieldListImpliedId (NonEmpty FieldNameHS)

If no References keyword is supplied, then it is assumed that you are referring to the Primary key or Id of the target entity.

Since: 2.13.0.0

FieldListHasReferences (NonEmpty ForeignFieldReference)

You can specify the exact columns you're referring to here, if they aren't part of a primary key. Most databases expect a unique index on the columns you refer to, but Persistent doesnt' check that.

User
    Id           UUID default="uuid_generate_v1mc()"
    name         Text

    UniqueName name

Dog
    ownerName    Text

    Foreign User fk_dog_user ownerName References name

Since: 2.13.0.0

Instances

Eq UnboundForeignFieldList

Defined in Database.Persist.Quasi.Internal

Methods

(==) :: UnboundForeignFieldList -> UnboundForeignFieldList -> Bool

(/=) :: UnboundForeignFieldList -> UnboundForeignFieldList -> Bool

Ord UnboundForeignFieldList

Defined in Database.Persist.Quasi.Internal

Methods

compare :: UnboundForeignFieldList -> UnboundForeignFieldList -> Ordering

(<) :: UnboundForeignFieldList -> UnboundForeignFieldList -> Bool

(<=) :: UnboundForeignFieldList -> UnboundForeignFieldList -> Bool

(>) :: UnboundForeignFieldList -> UnboundForeignFieldList -> Bool

(>=) :: UnboundForeignFieldList -> UnboundForeignFieldList -> Bool

max :: UnboundForeignFieldList -> UnboundForeignFieldList -> UnboundForeignFieldList

min :: UnboundForeignFieldList -> UnboundForeignFieldList -> UnboundForeignFieldList

Show UnboundForeignFieldList

Defined in Database.Persist.Quasi.Internal

Methods

showsPrec :: Int -> UnboundForeignFieldList -> ShowS

show :: UnboundForeignFieldList -> String

showList :: [UnboundForeignFieldList] -> ShowS

Lift UnboundForeignFieldList

Defined in Database.Persist.Quasi.Internal

Methods

lift :: UnboundForeignFieldList -> Q Exp

liftTyped :: UnboundForeignFieldList -> Q (TExp UnboundForeignFieldList)

data ForeignFieldReference

A pairing of the FieldNameHS for the source table to the FieldNameHS for the target table.

Since: 2.13.0.0

Constructors

ForeignFieldReference

Fields

• ffrSourceField :: FieldNameHS

  The column on the source table.

  Since: 2.13.0.0

• ffrTargetField :: FieldNameHS

  The column on the target table.

  Since: 2.13.0.0

Instances

Eq ForeignFieldReference

Defined in Database.Persist.Quasi.Internal

Methods

(==) :: ForeignFieldReference -> ForeignFieldReference -> Bool

(/=) :: ForeignFieldReference -> ForeignFieldReference -> Bool

Ord ForeignFieldReference

Defined in Database.Persist.Quasi.Internal

Methods

compare :: ForeignFieldReference -> ForeignFieldReference -> Ordering

(<) :: ForeignFieldReference -> ForeignFieldReference -> Bool

(<=) :: ForeignFieldReference -> ForeignFieldReference -> Bool

(>) :: ForeignFieldReference -> ForeignFieldReference -> Bool

(>=) :: ForeignFieldReference -> ForeignFieldReference -> Bool

max :: ForeignFieldReference -> ForeignFieldReference -> ForeignFieldReference

min :: ForeignFieldReference -> ForeignFieldReference -> ForeignFieldReference

Show ForeignFieldReference

Defined in Database.Persist.Quasi.Internal

Methods

showsPrec :: Int -> ForeignFieldReference -> ShowS

show :: ForeignFieldReference -> String

showList :: [ForeignFieldReference] -> ShowS

Lift ForeignFieldReference

Defined in Database.Persist.Quasi.Internal

Methods

lift :: ForeignFieldReference -> Q Exp

liftTyped :: ForeignFieldReference -> Q (TExp ForeignFieldReference)

mkKeyConType :: EntityNameHS -> FieldType

Convert an EntityNameHS into FieldType that will get parsed into the ID type for the entity.

>>> mkKeyConType (EntityNameHS "Hello)
FTTypeCon Nothing HelloId

Since: 2.13.0.0

isHaskellUnboundField :: UnboundFieldDef -> Bool

Returns True if the UnboundFieldDef does not have a MigrationOnly or SafeToRemove flag from the QuasiQuoter.

Since: 2.13.0.0

data FieldTypeLit

Constructors

IntTypeLit Integer

TextTypeLit Text

Instances

Eq FieldTypeLit

Defined in Database.Persist.Types.Base

Methods

(==) :: FieldTypeLit -> FieldTypeLit -> Bool

(/=) :: FieldTypeLit -> FieldTypeLit -> Bool

Ord FieldTypeLit

Defined in Database.Persist.Types.Base

Methods

compare :: FieldTypeLit -> FieldTypeLit -> Ordering

(<) :: FieldTypeLit -> FieldTypeLit -> Bool

(<=) :: FieldTypeLit -> FieldTypeLit -> Bool

(>) :: FieldTypeLit -> FieldTypeLit -> Bool

(>=) :: FieldTypeLit -> FieldTypeLit -> Bool

max :: FieldTypeLit -> FieldTypeLit -> FieldTypeLit

min :: FieldTypeLit -> FieldTypeLit -> FieldTypeLit

Read FieldTypeLit

Defined in Database.Persist.Types.Base

Methods

readsPrec :: Int -> ReadS FieldTypeLit

readList :: ReadS [FieldTypeLit]

readPrec :: ReadPrec FieldTypeLit

readListPrec :: ReadPrec [FieldTypeLit]

Show FieldTypeLit

Defined in Database.Persist.Types.Base

Methods

showsPrec :: Int -> FieldTypeLit -> ShowS

show :: FieldTypeLit -> String

showList :: [FieldTypeLit] -> ShowS

Lift FieldTypeLit

Defined in Database.Persist.Types.Base

Methods

lift :: FieldTypeLit -> Q Exp

liftTyped :: FieldTypeLit -> Q (TExp FieldTypeLit)