Safe Haskell	Safe-Inferred
Language	Haskell2010

Traq.Compiler.Prelude

Contents

Utilities for generating identifiers
Compilation Monad

Synopsis

type UniqNamesCtx = Set Ident
class HasUniqNamesCtx s where
- _uniqNamesCtx :: Lens' s UniqNamesCtx
newIdent :: forall s m. (MonadError String m, MonadState s m, HasUniqNamesCtx s) => Ident -> m Ident
mkQProcName :: Ident -> Ident
mkUProcName :: Ident -> Ident
type CompilerT ext = RWST (LoweringEnv ext) (LoweringOutput (SizeType ext)) (LoweringCtx (SizeType ext)) (Either String)
compileWith :: forall ext size m. (m ~ CompilerT ext, size ~ SizeType ext, HasFreeVars ext, TypeInferrable ext size) => (Program ext -> m ()) -> Program ext -> Either String (Program size)
type ProcBuilderT size = WriterT (VarList size, [UStmt size], [Stmt size])
allocLocalWithPrefix :: IsProcBuilder m' size m => Ident -> VarType size -> m' Ident
allocLocal :: IsProcBuilder m' size m => VarType size -> m' Ident
addUStmt :: IsProcBuilder m' size m => UStmt size -> m' ()
withUStmt :: IsProcBuilder m' size m => (UStmt size -> UStmt size) -> m' a -> m' a
addStmt :: IsProcBuilder m' size m => Stmt size -> m' ()
withStmt :: IsProcBuilder m' size m => (Stmt size -> Stmt size) -> m' a -> m' a
buildUProc :: IsProcBuilder m' size m => Ident -> [Ident] -> [(Ident, VarType size)] -> m' () -> m (ProcDef size)
buildProc :: IsProcBuilder m' size m => Ident -> [Ident] -> [(Ident, VarType size)] -> m' () -> m (ProcDef size)
data LoweringCtx size
data ProcSignature size = ProcSignature {
- in_tys, out_tys, aux_tys :: [VarType size]
}
_procSignatures :: Lens' (LoweringCtx size) (Map Ident (ProcSignature size))
data LoweringOutput size
_loweredProcs :: Lens' (LoweringOutput size) [ProcDef size]
addProc :: MonadWriter (LoweringOutput size) m => ProcDef size -> m ()
type LoweringEnv ext = FunCtx ext

Utilities for generating identifiers

type UniqNamesCtx = Set Ident #

A set of already used names. This is used to generate new unique identifiers.

class HasUniqNamesCtx s where #

Methods

_uniqNamesCtx :: Lens' s UniqNamesCtx #

Instances

Instances details

HasUniqNamesCtx UniqNamesCtx #
Instance details Defined in Traq.Compiler.Prelude Methods _uniqNamesCtx :: Lens' UniqNamesCtx UniqNamesCtx #
HasUniqNamesCtx (LoweringCtx size) #
Instance details Defined in Traq.Compiler.Prelude Methods _uniqNamesCtx :: Lens' (LoweringCtx size) UniqNamesCtx #

newIdent :: forall s m. (MonadError String m, MonadState s m, HasUniqNamesCtx s) => Ident -> m Ident #

Generate a new identifier with the given prefix.

mkQProcName :: Ident -> Ident #

get the name of the compiled (cq) proc given the source fun name

mkUProcName :: Ident -> Ident #

get the name of the compiled uproc given the source fun name

Compilation Monad

type CompilerT ext = RWST (LoweringEnv ext) (LoweringOutput (SizeType ext)) (LoweringCtx (SizeType ext)) (Either String) #

Monad to compile source programs to CQPL programs. This should contain the _final_ typing context for the input program, that is, contains both the inputs and outputs of each statement.

compileWith :: forall ext size m. (m ~ CompilerT ext, size ~ SizeType ext, HasFreeVars ext, TypeInferrable ext size) => (Program ext -> m ()) -> Program ext -> Either String (Program size) #

Run the given compiler on a full program.

proc builder

type ProcBuilderT size = WriterT (VarList size, [UStmt size], [Stmt size]) #

allocLocalWithPrefix :: IsProcBuilder m' size m => Ident -> VarType size -> m' Ident #

allocLocal :: IsProcBuilder m' size m => VarType size -> m' Ident #

addUStmt :: IsProcBuilder m' size m => UStmt size -> m' () #

withUStmt :: IsProcBuilder m' size m => (UStmt size -> UStmt size) -> m' a -> m' a #

addStmt :: IsProcBuilder m' size m => Stmt size -> m' () #

withStmt :: IsProcBuilder m' size m => (Stmt size -> Stmt size) -> m' a -> m' a #

buildUProc :: IsProcBuilder m' size m => Ident -> [Ident] -> [(Ident, VarType size)] -> m' () -> m (ProcDef size) #

buildProc :: IsProcBuilder m' size m => Ident -> [Ident] -> [(Ident, VarType size)] -> m' () -> m (ProcDef size) #

State

data LoweringCtx size #

A global lowering context.

Instances

Instances details

Generic (LoweringCtx size) #
Instance details Defined in Traq.Compiler.Prelude Associated Types type Rep (LoweringCtx size) :: Type -> Type # Methods from :: LoweringCtx size -> Rep (LoweringCtx size) x # to :: Rep (LoweringCtx size) x -> LoweringCtx size #
HasUniqNamesCtx (LoweringCtx size) #
Instance details Defined in Traq.Compiler.Prelude Methods _uniqNamesCtx :: Lens' (LoweringCtx size) UniqNamesCtx #
HasDefault (LoweringCtx size) #
Instance details Defined in Traq.Compiler.Prelude Methods default_ :: LoweringCtx size #
HasTypingCtx (LoweringCtx size) #
Instance details Defined in Traq.Compiler.Prelude Methods _typingCtx :: size0 ~ SizeType (LoweringCtx size) => Lens' (LoweringCtx size) (TypingCtx size0) #
type Rep (LoweringCtx size) #
Instance details Defined in Traq.Compiler.Prelude type Rep (LoweringCtx size) = D1 ('MetaData "LoweringCtx" "Traq.Compiler.Prelude" "traq-0.2.0.0-inplace" 'False) (C1 ('MetaCons "LoweringCtx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Ident)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TypingCtx size)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Ident (ProcSignature size))))))
type SizeType (LoweringCtx size) #
Instance details Defined in Traq.Compiler.Prelude type SizeType (LoweringCtx size) = size

data ProcSignature size #

Signature of a compiled uproc/proc: inputs, outputs, ancilla (for unitary)

Constructors

ProcSignature
Fields in_tys, out_tys, aux_tys :: [VarType size]

_procSignatures :: Lens' (LoweringCtx size) (Map Ident (ProcSignature size)) #

Output

data LoweringOutput size #

The outputs of lowering

Instances

Instances details

Monoid (LoweringOutput size) #
Instance details Defined in Traq.Compiler.Prelude Methods mempty :: LoweringOutput size # mappend :: LoweringOutput size -> LoweringOutput size -> LoweringOutput size # mconcat :: [LoweringOutput size] -> LoweringOutput size #
Semigroup (LoweringOutput size) #
Instance details Defined in Traq.Compiler.Prelude Methods (<>) :: LoweringOutput size -> LoweringOutput size -> LoweringOutput size # sconcat :: NonEmpty (LoweringOutput size) -> LoweringOutput size # stimes :: Integral b => b -> LoweringOutput size -> LoweringOutput size #

_loweredProcs :: Lens' (LoweringOutput size) [ProcDef size] #

addProc :: MonadWriter (LoweringOutput size) m => ProcDef size -> m () #

Env

type LoweringEnv ext = FunCtx ext #

Read-only compiler env