Language.Rust.Quote

Quasiquoters for converting Rust code into the equivalent Haskell patterns and expressions. These are just convenience wrappers over dataToExpQ and dataToPatQ. These quasiquoters only work as expressions and patterns, not as declarations or types. The pattern quasiquoters recursively ignore any Span or Position fields (replacing them with wildcard patterns).

Using quasiquotes instead of manually writing out the AST means that even if the AST evolves (perhaps by adding extra fields to certain nodes), your code is likely to continue to work.

The examples below assume the following GHCi flag and import:

>>> :set -XQuasiQuotes
>>> import Control.Monad ( void )

Documentation

lit :: QuasiQuoter

Quasiquoter for literals (see Lit).

>>> void [lit| 1.4e29f64 |]
Float 1.4e29 F64 ()

attr :: QuasiQuoter

Quasiquoter for attributes (see Attribute)

>>> void [attr| #[no_mangle] |]
Attribute Outer (Path False [PathSegment "no_mangle" Nothing ()] ()) (Stream []) ()

ty :: QuasiQuoter

Quasiquoter for types (see Ty)

>>> void [ty| &(_,_) |]
Rptr Nothing Immutable (TupTy [Infer (),Infer ()] ()) ()

pat :: QuasiQuoter

Quasiquoter for patterns (see Pat)

>>> void [pat| x @ 1...5 |]
IdentP (ByValue Immutable) "x" (Just (RangeP (Lit [] (Int Dec 1 Unsuffixed ()) ())
                                             (Lit [] (Int Dec 5 Unsuffixed ()) ()) ())) ()

stmt :: QuasiQuoter

Quasiquoter for statements (see Stmt)

>>> void [stmt| let x = 4i32; |]
Local (IdentP (ByValue Immutable) "x" Nothing ()) Nothing (Just (Lit [] (Int Dec 4 I32 ()) ())) [] ()

expr :: QuasiQuoter

Quasiquoter for expressions (see Expr)

>>> void [expr| (x,) |]
TupExpr [] [PathExpr [] Nothing (Path False [PathSegment "x" Nothing ()] ()) ()] ()

item :: QuasiQuoter

Quasiquoter for items (see Item)

>>> void [item| type Unit = (); |]
TyAlias [] InheritedV "Unit" (TupTy [] ()) (Generics [] [] (WhereClause [] ()) ()) ()

sourceFile :: QuasiQuoter

Quasiquoter for a whole source file (see SourceFile)

>>> void [sourceFile| fn main() { } |]
SourceFile Nothing [] [Fn [] InheritedV "main"
                          (FnDecl [] Nothing False ())
                          Normal NotConst Rust
                          (Generics [] [] (WhereClause [] ()) ())
                          (Block [] Normal ()) ()]

implItem :: QuasiQuoter

Quasiquoter for impl items (see ImplItem)

>>> void [implItem| type Item = (); |]
TypeI [] InheritedV Final "Item" (TupTy [] ()) ()

traitItem :: QuasiQuoter

Quasiquoter for trait items (see TraitItem)

>>> void [traitItem| type Item; |]
TypeT [] "Item" [] Nothing ()

tokenTree :: QuasiQuoter

Quasiquoter for token trees (see TokenTree)

>>> [tokenTree| fn |]
Token (Span (Position 1 2 14) (Position 3 2 16)) fn

block :: QuasiQuoter

Quasiquoter for blocks (see Block)

>>> void [block| unsafe { 1i32 } |]
Block [NoSemi (Lit [] (Int Dec 1 I32 ()) ()) ()] Unsafe ()