Safe Haskell	Safe-Inferred
Language	Haskell2010

Traq.ProtoLang.Syntax

Contents

Syntax

Synopsis

data MetaParam sizeT
- = MetaName String
- | MetaSize sizeT
- | MetaValue Integer
data VarType sizeT
- = Fin sizeT
- | Bitvec sizeT
- | Arr sizeT (VarType sizeT)
- | Tup [VarType sizeT]
_Fin :: Traversal' (VarType sizeT) sizeT
_Arr :: Traversal' (VarType sizeT) (sizeT, VarType sizeT)
_Tup :: Traversal' (VarType sizeT) [VarType sizeT]
data Value sizeT
- = FinV sizeT
- | ArrV [Value sizeT]
- | TupV [Value sizeT]
_FinV :: Traversal' (Value sizeT) sizeT
_ArrV :: Traversal' (Value sizeT) [Value sizeT]
_TupV :: Traversal' (Value sizeT) [Value sizeT]
data FnType size = FnType [VarType size] [VarType size]
data UnOp = NotOp
data BinOp
- = AddOp
- | MulOp
- | SubOp
- | XorOp
- | LEqOp
- | LtOp
- | AndOp
- | EqOp
data NAryOp = MultiOrOp
data BasicExpr sizeT
- = VarE {
  - var :: Ident
  }
- | ParamE {
  - param :: Ident
  }
- | DefaultE {
  - ty :: VarType sizeT
  }
- | ConstE {
  - val :: Value sizeT
  - ty :: VarType sizeT
  }
- | UnOpE {
  - un_op :: UnOp
  - operand :: BasicExpr sizeT
  }
- | BinOpE {
  - bin_op :: BinOp
  - lhs, rhs :: BasicExpr sizeT
  }
- | TernaryE {
  - branch, lhs, rhs :: BasicExpr sizeT
  }
- | NAryE {
  - op :: NAryOp
  - operands :: [BasicExpr sizeT]
  }
- | IndexE {
  - arr_expr :: BasicExpr sizeT
  - ix_val :: sizeT
  }
- | DynIndexE {
  - arr_expr, ix_expr :: BasicExpr sizeT
  }
- | UpdateArrE {
  - arr_expr, ix_expr, rhs :: BasicExpr sizeT
  }
- | ProjectE {
  - tup_expr :: BasicExpr sizeT
  - tup_ix_val :: Int
  }
(.<=.) :: BasicExpr sizeT -> BasicExpr sizeT -> BasicExpr sizeT
notE :: BasicExpr sizeT -> BasicExpr sizeT
(.+.) :: BasicExpr sizeT -> BasicExpr sizeT -> BasicExpr sizeT
(.&&.) :: BasicExpr sizeT -> BasicExpr sizeT -> BasicExpr sizeT
data DistrExpr sizeT
- = UniformE {
  - sample_ty :: VarType sizeT
  }
- | BernoulliE {
  - prob_one :: Double
  }
data Expr ext
- = BasicExprE {
  - basic_expr :: BasicExpr (SizeType ext)
  }
- | RandomSampleE {
  - distr_expr :: DistrExpr (SizeType ext)
  }
- | FunCallE {
  - fname :: Ident
  - args :: [Ident]
  }
- | PrimCallE {
  - prim :: ext
  }
- | LoopE {
  - initial_args :: [Ident]
  - loop_body_fun :: Ident
  }
data Stmt ext
- = ExprS {
  - rets :: [Ident]
  - expr :: Expr ext
  }
- | IfThenElseS {
  - cond :: Ident
  - s_true, s_false :: Stmt ext
  }
- | SeqS [Stmt ext]
data FunBody ext = FunBody {
- param_names, ret_names :: [Ident]
- body_stmt :: Stmt ext
}
data FunDef ext = FunDef {
- param_types, ret_types :: [VarType (SizeType ext)]
- mbody :: Maybe (FunBody ext)
}
data NamedFunDef ext = NamedFunDef {
- fun_name :: Ident
- fun_def :: FunDef ext
}
newtype Program ext = Program [NamedFunDef ext]
type FunCtx ext = Context (FunDef ext)
namedFunsToFunCtx :: Foldable f => f (NamedFunDef ext) -> FunCtx ext
programToFunCtx :: Program ext -> FunCtx ext
funCtxToNamedFuns :: FunCtx ext -> [NamedFunDef ext]
data Core sizeT precT
type Core' = Core SizeT Double
class HasFunCtx p ext | p -> ext where
- _funCtx :: Lens' p (FunCtx ext)

Syntax

data MetaParam sizeT #

Compile-time constant parameters

Constructors

MetaName String
MetaSize sizeT
MetaValue Integer

Instances

Instances details

Read sizeT => Read (MetaParam sizeT) #
Instance details Defined in Traq.ProtoLang.Syntax Methods readsPrec :: Int -> ReadS (MetaParam sizeT) # readList :: ReadS [MetaParam sizeT] # readPrec :: ReadPrec (MetaParam sizeT) # readListPrec :: ReadPrec [MetaParam sizeT] #
Show sizeT => Show (MetaParam sizeT) #
Instance details Defined in Traq.ProtoLang.Syntax Methods showsPrec :: Int -> MetaParam sizeT -> ShowS # show :: MetaParam sizeT -> String # showList :: [MetaParam sizeT] -> ShowS #
Eq sizeT => Eq (MetaParam sizeT) #
Instance details Defined in Traq.ProtoLang.Syntax Methods (==) :: MetaParam sizeT -> MetaParam sizeT -> Bool # (/=) :: MetaParam sizeT -> MetaParam sizeT -> Bool #
Show sizeT => ToCodeString (MetaParam sizeT) #
Instance details Defined in Traq.ProtoLang.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => MetaParam sizeT -> m () #

Basic Types

data VarType sizeT #

Types

Constructors

Fin sizeT
Bitvec sizeT
Arr sizeT (VarType sizeT)
Tup [VarType sizeT]

Instances

Instances details

Functor VarType #
Instance details Defined in Traq.ProtoLang.Syntax Methods fmap :: (a -> b) -> VarType a -> VarType b # (<$) :: a -> VarType b -> VarType a #
Read sizeT => Read (VarType sizeT) #
Instance details Defined in Traq.ProtoLang.Syntax Methods readsPrec :: Int -> ReadS (VarType sizeT) # readList :: ReadS [VarType sizeT] # readPrec :: ReadPrec (VarType sizeT) # readListPrec :: ReadPrec [VarType sizeT] #
Show sizeT => Show (VarType sizeT) #
Instance details Defined in Traq.ProtoLang.Syntax Methods showsPrec :: Int -> VarType sizeT -> ShowS # show :: VarType sizeT -> String # showList :: [VarType sizeT] -> ShowS #
Eq sizeT => Eq (VarType sizeT) #
Instance details Defined in Traq.ProtoLang.Syntax Methods (==) :: VarType sizeT -> VarType sizeT -> Bool # (/=) :: VarType sizeT -> VarType sizeT -> Bool #
HasTypingCtx (TypingCtx sizeT) #
Instance details Defined in Traq.ProtoLang.TypeCheck Methods _typingCtx :: sizeT0 ~ SizeType (TypingCtx sizeT) => Lens' (TypingCtx sizeT) (TypingCtx sizeT0) #
Show a => ToCodeString (VarType a) #
Instance details Defined in Traq.ProtoLang.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => VarType a -> m () #
type SizeType (VarType sizeT) #
Instance details Defined in Traq.ProtoLang.Syntax type SizeType (VarType sizeT) = sizeT

_Fin :: Traversal' (VarType sizeT) sizeT #

_Arr :: Traversal' (VarType sizeT) (sizeT, VarType sizeT) #

_Tup :: Traversal' (VarType sizeT) [VarType sizeT] #

data Value sizeT #

Basic Values

Constructors

FinV sizeT	value of type `Fin n`
ArrV [Value sizeT]	value of type `Arr n t`
TupV [Value sizeT]	tuple value

Instances

Instances details

Functor Value #
Instance details Defined in Traq.ProtoLang.Syntax Methods fmap :: (a -> b) -> Value a -> Value b # (<$) :: a -> Value b -> Value a #
Read sizeT => Read (Value sizeT) #
Instance details Defined in Traq.ProtoLang.Syntax Methods readsPrec :: Int -> ReadS (Value sizeT) # readList :: ReadS [Value sizeT] # readPrec :: ReadPrec (Value sizeT) # readListPrec :: ReadPrec [Value sizeT] #
Show sizeT => Show (Value sizeT) #
Instance details Defined in Traq.ProtoLang.Syntax Methods showsPrec :: Int -> Value sizeT -> ShowS # show :: Value sizeT -> String # showList :: [Value sizeT] -> ShowS #
Eq sizeT => Eq (Value sizeT) #
Instance details Defined in Traq.ProtoLang.Syntax Methods (==) :: Value sizeT -> Value sizeT -> Bool # (/=) :: Value sizeT -> Value sizeT -> Bool #
Ord sizeT => Ord (Value sizeT) #
Instance details Defined in Traq.ProtoLang.Syntax Methods compare :: Value sizeT -> Value sizeT -> Ordering # (<) :: Value sizeT -> Value sizeT -> Bool # (<=) :: Value sizeT -> Value sizeT -> Bool # (>) :: Value sizeT -> Value sizeT -> Bool # (>=) :: Value sizeT -> Value sizeT -> Bool # max :: Value sizeT -> Value sizeT -> Value sizeT # min :: Value sizeT -> Value sizeT -> Value sizeT #
HasFunInterpCtx (FunInterpCtx sizeT) #
Instance details Defined in Traq.ProtoLang.Eval Methods _funInterpCtx :: sizeT0 ~ SizeType (FunInterpCtx sizeT) => Lens' (FunInterpCtx sizeT) (FunInterpCtx sizeT0) #
HasProgramState (ProgramState sizeT) #
Instance details Defined in Traq.ProtoLang.Eval Methods _state :: sizeT0 ~ SizeType (ProgramState sizeT) => Lens' (ProgramState sizeT) (ProgramState sizeT0) #
Show sizeT => ToCodeString (Value sizeT) #
Instance details Defined in Traq.ProtoLang.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => Value sizeT -> m () #
type SizeType (FunInterp sizeT) #
Instance details Defined in Traq.ProtoLang.Eval type SizeType (FunInterp sizeT) = sizeT
type SizeType (Value sizeT) #
Instance details Defined in Traq.ProtoLang.Syntax type SizeType (Value sizeT) = sizeT

_FinV :: Traversal' (Value sizeT) sizeT #

_ArrV :: Traversal' (Value sizeT) [Value sizeT] #

_TupV :: Traversal' (Value sizeT) [Value sizeT] #

Function types

data FnType size #

Constructors

FnType [VarType size] [VarType size]

Instances

Instances details

Functor FnType #
Instance details Defined in Traq.ProtoLang.Syntax Methods fmap :: (a -> b) -> FnType a -> FnType b # (<$) :: a -> FnType b -> FnType a #
Read size => Read (FnType size) #
Instance details Defined in Traq.ProtoLang.Syntax Methods readsPrec :: Int -> ReadS (FnType size) # readList :: ReadS [FnType size] # readPrec :: ReadPrec (FnType size) # readListPrec :: ReadPrec [FnType size] #
Show size => Show (FnType size) #
Instance details Defined in Traq.ProtoLang.Syntax Methods showsPrec :: Int -> FnType size -> ShowS # show :: FnType size -> String # showList :: [FnType size] -> ShowS #
Eq size => Eq (FnType size) #
Instance details Defined in Traq.ProtoLang.Syntax Methods (==) :: FnType size -> FnType size -> Bool # (/=) :: FnType size -> FnType size -> Bool #
type SizeType (FnType size) #
Instance details Defined in Traq.ProtoLang.Syntax type SizeType (FnType size) = size

Basic Operations

data UnOp #

Unary operations

Constructors

NotOp

Instances

Instances details

Read UnOp #
Instance details Defined in Traq.ProtoLang.Syntax Methods readsPrec :: Int -> ReadS UnOp # readList :: ReadS [UnOp] # readPrec :: ReadPrec UnOp # readListPrec :: ReadPrec [UnOp] #
Show UnOp #
Instance details Defined in Traq.ProtoLang.Syntax Methods showsPrec :: Int -> UnOp -> ShowS # show :: UnOp -> String # showList :: [UnOp] -> ShowS #
Eq UnOp #
Instance details Defined in Traq.ProtoLang.Syntax Methods (==) :: UnOp -> UnOp -> Bool # (/=) :: UnOp -> UnOp -> Bool #
ToCodeString UnOp #
Instance details Defined in Traq.ProtoLang.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => UnOp -> m () #

data BinOp #

Binary operations

Constructors

AddOp
MulOp
SubOp
XorOp
LEqOp
LtOp
AndOp
EqOp

Instances

Instances details

Read BinOp #
Instance details Defined in Traq.ProtoLang.Syntax Methods readsPrec :: Int -> ReadS BinOp # readList :: ReadS [BinOp] # readPrec :: ReadPrec BinOp # readListPrec :: ReadPrec [BinOp] #
Show BinOp #
Instance details Defined in Traq.ProtoLang.Syntax Methods showsPrec :: Int -> BinOp -> ShowS # show :: BinOp -> String # showList :: [BinOp] -> ShowS #
Eq BinOp #
Instance details Defined in Traq.ProtoLang.Syntax Methods (==) :: BinOp -> BinOp -> Bool # (/=) :: BinOp -> BinOp -> Bool #
ToCodeString BinOp #
Instance details Defined in Traq.ProtoLang.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => BinOp -> m () #

data NAryOp #

Operations which take multiple arguments

Constructors

MultiOrOp

Instances

Instances details

Read NAryOp #
Instance details Defined in Traq.ProtoLang.Syntax Methods readsPrec :: Int -> ReadS NAryOp # readList :: ReadS [NAryOp] # readPrec :: ReadPrec NAryOp # readListPrec :: ReadPrec [NAryOp] #
Show NAryOp #
Instance details Defined in Traq.ProtoLang.Syntax Methods showsPrec :: Int -> NAryOp -> ShowS # show :: NAryOp -> String # showList :: [NAryOp] -> ShowS #
Eq NAryOp #
Instance details Defined in Traq.ProtoLang.Syntax Methods (==) :: NAryOp -> NAryOp -> Bool # (/=) :: NAryOp -> NAryOp -> Bool #
ToCodeString NAryOp #
Instance details Defined in Traq.ProtoLang.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => NAryOp -> m () #

data BasicExpr sizeT #

Basic arithmetic and logical expressions

Constructors

VarE
Fields var :: Ident
ParamE
Fields param :: Ident
DefaultE
Fields ty :: VarType sizeT
ConstE
Fields val :: Value sizeT ty :: VarType sizeT
UnOpE
Fields un_op :: UnOp operand :: BasicExpr sizeT
BinOpE
Fields bin_op :: BinOp lhs, rhs :: BasicExpr sizeT
TernaryE
Fields branch, lhs, rhs :: BasicExpr sizeT
NAryE
Fields op :: NAryOp operands :: [BasicExpr sizeT]
IndexE
Fields arr_expr :: BasicExpr sizeT ix_val :: sizeT
DynIndexE
Fields arr_expr, ix_expr :: BasicExpr sizeT
UpdateArrE
Fields arr_expr, ix_expr, rhs :: BasicExpr sizeT
ProjectE
Fields tup_expr :: BasicExpr sizeT tup_ix_val :: Int

Instances

Instances details

Functor BasicExpr #
Instance details Defined in Traq.ProtoLang.Syntax Methods fmap :: (a -> b) -> BasicExpr a -> BasicExpr b # (<$) :: a -> BasicExpr b -> BasicExpr a #
IsString (BasicExpr sizeT) #
Instance details Defined in Traq.ProtoLang.Syntax Methods fromString :: String -> BasicExpr sizeT #
Read sizeT => Read (BasicExpr sizeT) #
Instance details Defined in Traq.ProtoLang.Syntax Methods readsPrec :: Int -> ReadS (BasicExpr sizeT) # readList :: ReadS [BasicExpr sizeT] # readPrec :: ReadPrec (BasicExpr sizeT) # readListPrec :: ReadPrec [BasicExpr sizeT] #
Show sizeT => Show (BasicExpr sizeT) #
Instance details Defined in Traq.ProtoLang.Syntax Methods showsPrec :: Int -> BasicExpr sizeT -> ShowS # show :: BasicExpr sizeT -> String # showList :: [BasicExpr sizeT] -> ShowS #
Eq sizeT => Eq (BasicExpr sizeT) #
Instance details Defined in Traq.ProtoLang.Syntax Methods (==) :: BasicExpr sizeT -> BasicExpr sizeT -> Bool # (/=) :: BasicExpr sizeT -> BasicExpr sizeT -> Bool #
HasFreeVars (BasicExpr sizeT) #
Instance details Defined in Traq.ProtoLang.Vars Methods freeVarsList :: BasicExpr sizeT -> [Ident] #
RenameVars (BasicExpr size) #
Instance details Defined in Traq.ProtoLang.Vars Methods renameVars :: Ident -> BasicExpr size -> BasicExpr size #
Show sizeT => ToCodeString (BasicExpr sizeT) #
Instance details Defined in Traq.ProtoLang.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => BasicExpr sizeT -> m () #

(.<=.) :: BasicExpr sizeT -> BasicExpr sizeT -> BasicExpr sizeT #

notE :: BasicExpr sizeT -> BasicExpr sizeT #

(.+.) :: BasicExpr sizeT -> BasicExpr sizeT -> BasicExpr sizeT #

(.&&.) :: BasicExpr sizeT -> BasicExpr sizeT -> BasicExpr sizeT #

Expressions and Statements

data DistrExpr sizeT #

An expression denoting a probablity distribution.

Constructors

UniformE
Fields sample_ty :: VarType sizeT
BernoulliE
Fields prob_one :: Double

Instances

Instances details

Functor DistrExpr #
Instance details Defined in Traq.ProtoLang.Syntax Methods fmap :: (a -> b) -> DistrExpr a -> DistrExpr b # (<$) :: a -> DistrExpr b -> DistrExpr a #
Read sizeT => Read (DistrExpr sizeT) #
Instance details Defined in Traq.ProtoLang.Syntax Methods readsPrec :: Int -> ReadS (DistrExpr sizeT) # readList :: ReadS [DistrExpr sizeT] # readPrec :: ReadPrec (DistrExpr sizeT) # readListPrec :: ReadPrec [DistrExpr sizeT] #
Show sizeT => Show (DistrExpr sizeT) #
Instance details Defined in Traq.ProtoLang.Syntax Methods showsPrec :: Int -> DistrExpr sizeT -> ShowS # show :: DistrExpr sizeT -> String # showList :: [DistrExpr sizeT] -> ShowS #
Eq sizeT => Eq (DistrExpr sizeT) #
Instance details Defined in Traq.ProtoLang.Syntax Methods (==) :: DistrExpr sizeT -> DistrExpr sizeT -> Bool # (/=) :: DistrExpr sizeT -> DistrExpr sizeT -> Bool #
HasFreeVars (DistrExpr sizeT) #
Instance details Defined in Traq.ProtoLang.Vars Methods freeVarsList :: DistrExpr sizeT -> [Ident] #
Show sizeT => ToCodeString (DistrExpr sizeT) #
Instance details Defined in Traq.ProtoLang.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => DistrExpr sizeT -> m () #
TypingReqs sizeT => TypeInferrable (DistrExpr sizeT) sizeT #
Instance details Defined in Traq.ProtoLang.TypeCheck Methods inferTypes :: forall ext' m. (m ~ TypeChecker ext', sizeT ~ SizeType ext') => DistrExpr sizeT -> m [VarType sizeT] #
type SizeType (DistrExpr sizeT) #
Instance details Defined in Traq.ProtoLang.Syntax type SizeType (DistrExpr sizeT) = sizeT

data Expr ext #

An expression in the prototype language. It appears as the RHS of an assignment statement.

Constructors

BasicExprE
Fields basic_expr :: BasicExpr (SizeType ext)
RandomSampleE
Fields distr_expr :: DistrExpr (SizeType ext)
FunCallE
Fields fname :: Ident args :: [Ident]
PrimCallE
Fields prim :: ext
LoopE
Fields initial_args :: [Ident] loop_body_fun :: Ident

Instances

Instances details

(Read ext, Read (SizeType ext)) => Read (Expr ext) #
Instance details Defined in Traq.ProtoLang.Syntax Methods readsPrec :: Int -> ReadS (Expr ext) # readList :: ReadS [Expr ext] # readPrec :: ReadPrec (Expr ext) # readListPrec :: ReadPrec [Expr ext] #
(Show ext, Show (SizeType ext)) => Show (Expr ext) #
Instance details Defined in Traq.ProtoLang.Syntax Methods showsPrec :: Int -> Expr ext -> ShowS # show :: Expr ext -> String # showList :: [Expr ext] -> ShowS #
(Eq ext, Eq (SizeType ext)) => Eq (Expr ext) #
Instance details Defined in Traq.ProtoLang.Syntax Methods (==) :: Expr ext -> Expr ext -> Bool # (/=) :: Expr ext -> Expr ext -> Bool #
MapSize ext => MapSize (Expr ext) #
Instance details Defined in Traq.ProtoLang.Lenses Associated Types type MappedSize (Expr ext) size' # Methods mapSize :: (size ~ SizeType (Expr ext), size' ~ SizeType ext', ext' ~ MappedSize (Expr ext) size') => (size -> size') -> Expr ext -> ext' #
(Parseable ext, SizeType ext ~ SymbSize) => Parseable (Expr ext) #
Instance details Defined in Traq.ProtoLang.Parser Methods parseE :: TokenParser () -> Parser (Expr ext) #
HasFreeVars ext => HasFreeVars (Expr ext) #	The set of free (unbound) variables in an expression
Instance details Defined in Traq.ProtoLang.Vars Methods freeVarsList :: Expr ext -> [Ident] #
RenameVars ext => RenameVars (Expr ext) #
Instance details Defined in Traq.ProtoLang.Vars Methods renameVars :: Ident -> Expr ext -> Expr ext #
(Show (SizeType ext), ToCodeString ext) => ToCodeString (Expr ext) #
Instance details Defined in Traq.ProtoLang.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => Expr ext -> m () #
TypeInferrable ext sizeT => TypeInferrable (Expr ext) sizeT #
Instance details Defined in Traq.ProtoLang.TypeCheck Methods inferTypes :: forall ext' m. (m ~ TypeChecker ext', sizeT ~ SizeType ext') => Expr ext -> m [VarType sizeT] #
CostQ ext size prec => CostQ (Expr ext) size prec #
Instance details Defined in Traq.Analysis.Cost.Quantum Methods costQ :: forall ext' cost m. (m ~ CostAnalysisMonad ext', CostQ ext' size prec, CostModelReqs size prec cost) => Expr ext -> m cost #
ExpCostQ ext size prec => ExpCostQ (Expr ext) size prec #
Instance details Defined in Traq.Analysis.Cost.Quantum Methods expCostQ :: forall ext' cost m. (m ~ CostAnalysisMonad ext', ExpCostQ ext' size prec, CostModelReqs size prec cost) => Expr ext -> ProgramState size -> m cost #
CostU ext size prec => CostU (Expr ext) size prec #
Instance details Defined in Traq.Analysis.Cost.Unitary Methods costU :: forall ext' costT m. (m ~ CostAnalysisMonad ext', CostU ext' size prec, CostModelReqs size prec costT) => Expr ext -> m costT #
TVErrorQ ext size prec => TVErrorQ (Expr ext) size prec #
Instance details Defined in Traq.Analysis.Error.Quantum Methods tvErrorQ :: forall ext' m. (m ~ ErrorAnalysisMonad ext', TVErrorQ ext' size prec, SizeType ext' ~ size, PrecType ext' ~ prec) => Expr ext -> m (FailProb prec) #
TraceNormErrorU ext size prec => TraceNormErrorU (Expr ext) size prec #
Instance details Defined in Traq.Analysis.Error.Unitary Methods traceNormErrorU :: forall ext' m. (m ~ ErrorAnalysisMonad ext', TraceNormErrorU ext' size prec, SizeType ext' ~ size, PrecType ext' ~ prec) => Expr ext -> m (FailProb prec) #
Evaluatable ext sizeT precT => Evaluatable (Expr ext) sizeT precT #
Instance details Defined in Traq.ProtoLang.Eval Methods eval :: (Evaluatable ext' sizeT precT, m ~ Evaluator ext', SizeType ext' ~ sizeT, PrecType ext' ~ precT) => Expr ext -> ProgramState sizeT -> m [Value sizeT] #
type PrecType (Expr ext) #
Instance details Defined in Traq.ProtoLang.Syntax type PrecType (Expr ext) = PrecType ext
type SizeType (Expr ext) #
Instance details Defined in Traq.ProtoLang.Syntax type SizeType (Expr ext) = SizeType ext
type MappedSize (Expr ext) size' #
Instance details Defined in Traq.ProtoLang.Lenses type MappedSize (Expr ext) size' = Expr (MappedSize ext size')

data Stmt ext #

A statement in the prototype language.

Constructors

ExprS
Fields rets :: [Ident] expr :: Expr ext
IfThenElseS
Fields cond :: Ident s_true, s_false :: Stmt ext
SeqS [Stmt ext]

Instances

Instances details

(Read ext, Read (SizeType ext)) => Read (Stmt ext) #
Instance details Defined in Traq.ProtoLang.Syntax Methods readsPrec :: Int -> ReadS (Stmt ext) # readList :: ReadS [Stmt ext] # readPrec :: ReadPrec (Stmt ext) # readListPrec :: ReadPrec [Stmt ext] #
(Show ext, Show (SizeType ext)) => Show (Stmt ext) #
Instance details Defined in Traq.ProtoLang.Syntax Methods showsPrec :: Int -> Stmt ext -> ShowS # show :: Stmt ext -> String # showList :: [Stmt ext] -> ShowS #
(Eq ext, Eq (SizeType ext)) => Eq (Stmt ext) #
Instance details Defined in Traq.ProtoLang.Syntax Methods (==) :: Stmt ext -> Stmt ext -> Bool # (/=) :: Stmt ext -> Stmt ext -> Bool #
MapSize ext => MapSize (Stmt ext) #
Instance details Defined in Traq.ProtoLang.Lenses Associated Types type MappedSize (Stmt ext) size' # Methods mapSize :: (size ~ SizeType (Stmt ext), size' ~ SizeType ext', ext' ~ MappedSize (Stmt ext) size') => (size -> size') -> Stmt ext -> ext' #
(Parseable ext, SizeType ext ~ SymbSize) => Parseable (Stmt ext) #
Instance details Defined in Traq.ProtoLang.Parser Methods parseE :: TokenParser () -> Parser (Stmt ext) #
HasFreeVars ext => HasFreeVars (Stmt ext) #	The set of free (unbound) variables
Instance details Defined in Traq.ProtoLang.Vars Methods freeVarsList :: Stmt ext -> [Ident] #
RenameVars ext => RenameVars (Stmt ext) #
Instance details Defined in Traq.ProtoLang.Vars Methods renameVars :: Ident -> Stmt ext -> Stmt ext #
HasAst (Stmt ext) #
Instance details Defined in Traq.ProtoLang.Syntax Methods _ast :: Traversal' (Stmt ext) (Stmt ext) #
HasStmt (Stmt ext) #
Instance details Defined in Traq.ProtoLang.Syntax Associated Types type StmtOf (Stmt ext) # Methods _stmt :: Traversal' (Stmt ext) (StmtOf (Stmt ext)) #
(Show (SizeType ext), ToCodeString ext) => ToCodeString (Stmt ext) #
Instance details Defined in Traq.ProtoLang.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => Stmt ext -> m () #
TypeInferrable ext sizeT => TypeInferrable (Stmt ext) sizeT #
Instance details Defined in Traq.ProtoLang.TypeCheck Methods inferTypes :: forall ext' m. (m ~ TypeChecker ext', sizeT ~ SizeType ext') => Stmt ext -> m [VarType sizeT] #
CostQ ext size prec => CostQ (Stmt ext) size prec #
Instance details Defined in Traq.Analysis.Cost.Quantum Methods costQ :: forall ext' cost m. (m ~ CostAnalysisMonad ext', CostQ ext' size prec, CostModelReqs size prec cost) => Stmt ext -> m cost #
CostU ext size prec => CostU (Stmt ext) size prec #
Instance details Defined in Traq.Analysis.Cost.Unitary Methods costU :: forall ext' costT m. (m ~ CostAnalysisMonad ext', CostU ext' size prec, CostModelReqs size prec costT) => Stmt ext -> m costT #
TVErrorQ ext size prec => TVErrorQ (Stmt ext) size prec #
Instance details Defined in Traq.Analysis.Error.Quantum Methods tvErrorQ :: forall ext' m. (m ~ ErrorAnalysisMonad ext', TVErrorQ ext' size prec, SizeType ext' ~ size, PrecType ext' ~ prec) => Stmt ext -> m (FailProb prec) #
TraceNormErrorU ext size prec => TraceNormErrorU (Stmt ext) size prec #
Instance details Defined in Traq.Analysis.Error.Unitary Methods traceNormErrorU :: forall ext' m. (m ~ ErrorAnalysisMonad ext', TraceNormErrorU ext' size prec, SizeType ext' ~ size, PrecType ext' ~ prec) => Stmt ext -> m (FailProb prec) #
type PrecType (Stmt ext) #
Instance details Defined in Traq.ProtoLang.Syntax type PrecType (Stmt ext) = PrecType ext
type SizeType (Stmt ext) #
Instance details Defined in Traq.ProtoLang.Syntax type SizeType (Stmt ext) = SizeType ext
type StmtOf (Stmt ext) #
Instance details Defined in Traq.ProtoLang.Syntax type StmtOf (Stmt ext) = Stmt ext
type MappedSize (Stmt ext) size' #
Instance details Defined in Traq.ProtoLang.Lenses type MappedSize (Stmt ext) size' = Stmt (MappedSize ext size')

data FunBody ext #

The body of a function.

Constructors

FunBody
Fields param_names, ret_names :: [Ident] body_stmt :: Stmt ext

Instances

Instances details

(Read ext, Read (SizeType ext)) => Read (FunBody ext) #
Instance details Defined in Traq.ProtoLang.Syntax Methods readsPrec :: Int -> ReadS (FunBody ext) # readList :: ReadS [FunBody ext] # readPrec :: ReadPrec (FunBody ext) # readListPrec :: ReadPrec [FunBody ext] #
(Show ext, Show (SizeType ext)) => Show (FunBody ext) #
Instance details Defined in Traq.ProtoLang.Syntax Methods showsPrec :: Int -> FunBody ext -> ShowS # show :: FunBody ext -> String # showList :: [FunBody ext] -> ShowS #
(Eq ext, Eq (SizeType ext)) => Eq (FunBody ext) #
Instance details Defined in Traq.ProtoLang.Syntax Methods (==) :: FunBody ext -> FunBody ext -> Bool # (/=) :: FunBody ext -> FunBody ext -> Bool #
MapSize ext => MapSize (FunBody ext) #
Instance details Defined in Traq.ProtoLang.Lenses Associated Types type MappedSize (FunBody ext) size' # Methods mapSize :: (size ~ SizeType (FunBody ext), size' ~ SizeType ext', ext' ~ MappedSize (FunBody ext) size') => (size -> size') -> FunBody ext -> ext' #
RenameVars ext => RenameVars (FunBody ext) #
Instance details Defined in Traq.ProtoLang.Vars Methods renameVars :: Ident -> FunBody ext -> FunBody ext #
HasStmt (FunBody ext) #
Instance details Defined in Traq.ProtoLang.Syntax Associated Types type StmtOf (FunBody ext) # Methods _stmt :: Traversal' (FunBody ext) (StmtOf (FunBody ext)) #
type PrecType (FunBody ext) #
Instance details Defined in Traq.ProtoLang.Syntax type PrecType (FunBody ext) = PrecType ext
type SizeType (FunBody ext) #
Instance details Defined in Traq.ProtoLang.Syntax type SizeType (FunBody ext) = SizeType ext
type StmtOf (FunBody ext) #
Instance details Defined in Traq.ProtoLang.Syntax type StmtOf (FunBody ext) = Stmt ext
type MappedSize (FunBody ext) size' #
Instance details Defined in Traq.ProtoLang.Lenses type MappedSize (FunBody ext) size' = FunBody (MappedSize ext size')

data FunDef ext #

A function definition or declaration in the prototype language.

Constructors

FunDef
Fields param_types, ret_types :: [VarType (SizeType ext)] mbody :: Maybe (FunBody ext)

Instances

Instances details

(Read ext, Read (SizeType ext)) => Read (FunDef ext) #
Instance details Defined in Traq.ProtoLang.Syntax Methods readsPrec :: Int -> ReadS (FunDef ext) # readList :: ReadS [FunDef ext] # readPrec :: ReadPrec (FunDef ext) # readListPrec :: ReadPrec [FunDef ext] #
(Show ext, Show (SizeType ext)) => Show (FunDef ext) #
Instance details Defined in Traq.ProtoLang.Syntax Methods showsPrec :: Int -> FunDef ext -> ShowS # show :: FunDef ext -> String # showList :: [FunDef ext] -> ShowS #
(Eq ext, Eq (SizeType ext)) => Eq (FunDef ext) #
Instance details Defined in Traq.ProtoLang.Syntax Methods (==) :: FunDef ext -> FunDef ext -> Bool # (/=) :: FunDef ext -> FunDef ext -> Bool #
MapSize ext => MapSize (FunDef ext) #
Instance details Defined in Traq.ProtoLang.Lenses Associated Types type MappedSize (FunDef ext) size' # Methods mapSize :: (size ~ SizeType (FunDef ext), size' ~ SizeType ext', ext' ~ MappedSize (FunDef ext) size') => (size -> size') -> FunDef ext -> ext' #
RenameVars ext => RenameVars (FunDef ext) #
Instance details Defined in Traq.ProtoLang.Vars Methods renameVars :: Ident -> FunDef ext -> FunDef ext #
HasStmt (FunDef ext) #
Instance details Defined in Traq.ProtoLang.Syntax Associated Types type StmtOf (FunDef ext) # Methods _stmt :: Traversal' (FunDef ext) (StmtOf (FunDef ext)) #
HasFunCtx (FunCtx ext) ext #
Instance details Defined in Traq.ProtoLang.Syntax Methods _funCtx :: Lens' (FunCtx ext) (FunCtx ext) #
TVErrorQ ext size prec => TVErrorQ (FunDef ext) size prec #
Instance details Defined in Traq.Analysis.Error.Quantum Methods tvErrorQ :: forall ext' m. (m ~ ErrorAnalysisMonad ext', TVErrorQ ext' size prec, SizeType ext' ~ size, PrecType ext' ~ prec) => FunDef ext -> m (FailProb prec) #
TraceNormErrorU ext size prec => TraceNormErrorU (FunDef ext) size prec #
Instance details Defined in Traq.Analysis.Error.Unitary Methods traceNormErrorU :: forall ext' m. (m ~ ErrorAnalysisMonad ext', TraceNormErrorU ext' size prec, SizeType ext' ~ size, PrecType ext' ~ prec) => FunDef ext -> m (FailProb prec) #
type PrecType (FunDef ext) #
Instance details Defined in Traq.ProtoLang.Syntax type PrecType (FunDef ext) = PrecType ext
type SizeType (FunDef ext) #
Instance details Defined in Traq.ProtoLang.Syntax type SizeType (FunDef ext) = SizeType ext
type StmtOf (FunDef ext) #
Instance details Defined in Traq.ProtoLang.Syntax type StmtOf (FunDef ext) = Stmt ext
type MappedSize (FunDef ext) size' #
Instance details Defined in Traq.ProtoLang.Lenses type MappedSize (FunDef ext) size' = FunDef (MappedSize ext size')

data NamedFunDef ext #

A function with a name

Constructors

NamedFunDef
Fields fun_name :: Ident fun_def :: FunDef ext

Instances

Instances details

(Read ext, Read (SizeType ext)) => Read (NamedFunDef ext) #
Instance details Defined in Traq.ProtoLang.Syntax Methods readsPrec :: Int -> ReadS (NamedFunDef ext) # readList :: ReadS [NamedFunDef ext] # readPrec :: ReadPrec (NamedFunDef ext) # readListPrec :: ReadPrec [NamedFunDef ext] #
(Show ext, Show (SizeType ext)) => Show (NamedFunDef ext) #
Instance details Defined in Traq.ProtoLang.Syntax Methods showsPrec :: Int -> NamedFunDef ext -> ShowS # show :: NamedFunDef ext -> String # showList :: [NamedFunDef ext] -> ShowS #
(Eq ext, Eq (SizeType ext)) => Eq (NamedFunDef ext) #
Instance details Defined in Traq.ProtoLang.Syntax Methods (==) :: NamedFunDef ext -> NamedFunDef ext -> Bool # (/=) :: NamedFunDef ext -> NamedFunDef ext -> Bool #
MapSize ext => MapSize (NamedFunDef ext) #
Instance details Defined in Traq.ProtoLang.Lenses Associated Types type MappedSize (NamedFunDef ext) size' # Methods mapSize :: (size ~ SizeType (NamedFunDef ext), size' ~ SizeType ext', ext' ~ MappedSize (NamedFunDef ext) size') => (size -> size') -> NamedFunDef ext -> ext' #
RenameVars ext => RenameVars (NamedFunDef ext) #
Instance details Defined in Traq.ProtoLang.Vars Methods renameVars :: Ident -> NamedFunDef ext -> NamedFunDef ext #
HasStmt (NamedFunDef ext) #
Instance details Defined in Traq.ProtoLang.Syntax Associated Types type StmtOf (NamedFunDef ext) # Methods _stmt :: Traversal' (NamedFunDef ext) (StmtOf (NamedFunDef ext)) #
(Show (SizeType ext), ToCodeString ext) => ToCodeString (NamedFunDef ext) #
Instance details Defined in Traq.ProtoLang.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => NamedFunDef ext -> m () #
CostQ ext size prec => CostQ (NamedFunDef ext) size prec #
Instance details Defined in Traq.Analysis.Cost.Quantum Methods costQ :: forall ext' cost m. (m ~ CostAnalysisMonad ext', CostQ ext' size prec, CostModelReqs size prec cost) => NamedFunDef ext -> m cost #
ExpCostQ ext size prec => ExpCostQ (NamedFunDef ext) size prec #
Instance details Defined in Traq.Analysis.Cost.Quantum Methods expCostQ :: forall ext' cost m. (m ~ CostAnalysisMonad ext', ExpCostQ ext' size prec, CostModelReqs size prec cost) => NamedFunDef ext -> ProgramState size -> m cost #
CostU ext size prec => CostU (NamedFunDef ext) size prec #
Instance details Defined in Traq.Analysis.Cost.Unitary Methods costU :: forall ext' costT m. (m ~ CostAnalysisMonad ext', CostU ext' size prec, CostModelReqs size prec costT) => NamedFunDef ext -> m costT #
TraceNormErrorU ext size prec => TraceNormErrorU (NamedFunDef ext) size prec #
Instance details Defined in Traq.Analysis.Error.Unitary Methods traceNormErrorU :: forall ext' m. (m ~ ErrorAnalysisMonad ext', TraceNormErrorU ext' size prec, SizeType ext' ~ size, PrecType ext' ~ prec) => NamedFunDef ext -> m (FailProb prec) #
Evaluatable ext sizeT precT => Evaluatable (NamedFunDef ext) sizeT precT #
Instance details Defined in Traq.ProtoLang.Eval Methods eval :: (Evaluatable ext' sizeT precT, m ~ Evaluator ext', SizeType ext' ~ sizeT, PrecType ext' ~ precT) => NamedFunDef ext -> ProgramState sizeT -> m [Value sizeT] #
type PrecType (NamedFunDef ext) #
Instance details Defined in Traq.ProtoLang.Syntax type PrecType (NamedFunDef ext) = PrecType ext
type SizeType (NamedFunDef ext) #
Instance details Defined in Traq.ProtoLang.Syntax type SizeType (NamedFunDef ext) = SizeType ext
type StmtOf (NamedFunDef ext) #
Instance details Defined in Traq.ProtoLang.Syntax type StmtOf (NamedFunDef ext) = Stmt ext
type MappedSize (NamedFunDef ext) size' #
Instance details Defined in Traq.ProtoLang.Lenses type MappedSize (NamedFunDef ext) size' = NamedFunDef (MappedSize ext size')

newtype Program ext #

A program is a list of named functions, with the last being the entry point.

Constructors

Program [NamedFunDef ext]

Instances

Instances details

(Read ext, Read (SizeType ext)) => Read (Program ext) #
Instance details Defined in Traq.ProtoLang.Syntax Methods readsPrec :: Int -> ReadS (Program ext) # readList :: ReadS [Program ext] # readPrec :: ReadPrec (Program ext) # readListPrec :: ReadPrec [Program ext] #
(Show ext, Show (SizeType ext)) => Show (Program ext) #
Instance details Defined in Traq.ProtoLang.Syntax Methods showsPrec :: Int -> Program ext -> ShowS # show :: Program ext -> String # showList :: [Program ext] -> ShowS #
(Eq ext, Eq (SizeType ext)) => Eq (Program ext) #
Instance details Defined in Traq.ProtoLang.Syntax Methods (==) :: Program ext -> Program ext -> Bool # (/=) :: Program ext -> Program ext -> Bool #
MapSize ext => MapSize (Program ext) #
Instance details Defined in Traq.ProtoLang.Lenses Associated Types type MappedSize (Program ext) size' # Methods mapSize :: (size ~ SizeType (Program ext), size' ~ SizeType ext', ext' ~ MappedSize (Program ext) size') => (size -> size') -> Program ext -> ext' #
RenameVars ext => RenameVars (Program ext) #
Instance details Defined in Traq.ProtoLang.Vars Methods renameVars :: Ident -> Program ext -> Program ext #
HasStmt (Program ext) #
Instance details Defined in Traq.ProtoLang.Syntax Associated Types type StmtOf (Program ext) # Methods _stmt :: Traversal' (Program ext) (StmtOf (Program ext)) #
(Show (SizeType ext), ToCodeString ext) => ToCodeString (Program ext) #
Instance details Defined in Traq.ProtoLang.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => Program ext -> m () #
type PrecType (Program ext) #
Instance details Defined in Traq.ProtoLang.Syntax type PrecType (Program ext) = PrecType ext
type SizeType (Program ext) #
Instance details Defined in Traq.ProtoLang.Syntax type SizeType (Program ext) = SizeType ext
type StmtOf (Program ext) #
Instance details Defined in Traq.ProtoLang.Syntax type StmtOf (Program ext) = Stmt ext
type MappedSize (Program ext) size' #
Instance details Defined in Traq.ProtoLang.Lenses type MappedSize (Program ext) size' = Program (MappedSize ext size')

FunCtx

type FunCtx ext = Context (FunDef ext) #

A function context contains a list of functions

namedFunsToFunCtx :: Foldable f => f (NamedFunDef ext) -> FunCtx ext #

programToFunCtx :: Program ext -> FunCtx ext #

funCtxToNamedFuns :: FunCtx ext -> [NamedFunDef ext] #

Core

data Core sizeT precT #

Void extension (i.e. only use the core language) Usage: p :: Program (Core sizeT precT)

Instances

Instances details

Read (Core sizeT precT) #
Instance details Defined in Traq.ProtoLang.Syntax Methods readsPrec :: Int -> ReadS (Core sizeT precT) # readList :: ReadS [Core sizeT precT] # readPrec :: ReadPrec (Core sizeT precT) # readListPrec :: ReadPrec [Core sizeT precT] #
Show (Core sizeT precT) #
Instance details Defined in Traq.ProtoLang.Syntax Methods showsPrec :: Int -> Core sizeT precT -> ShowS # show :: Core sizeT precT -> String # showList :: [Core sizeT precT] -> ShowS #
Eq (Core sizeT precT) #
Instance details Defined in Traq.ProtoLang.Syntax Methods (==) :: Core sizeT precT -> Core sizeT precT -> Bool # (/=) :: Core sizeT precT -> Core sizeT precT -> Bool #
TypingReqs size => CompileQ (Core size prec) #
Instance details Defined in Traq.Compiler.Quantum Methods compileQ :: forall ext' m. (m ~ CompilerT ext', SizeType (Core size prec) ~ SizeType ext', PrecType (Core size prec) ~ PrecType ext', CompileQ ext') => Core size prec -> [Ident] -> m (Stmt (SizeType (Core size prec))) #
TypingReqs size => CompileU (Core size prec) #
Instance details Defined in Traq.Compiler.Unitary Methods compileU :: forall ext' m. (m ~ CompilerT ext', SizeType (Core size prec) ~ SizeType ext', PrecType (Core size prec) ~ PrecType ext') => Core size prec -> [Ident] -> m (UStmt (SizeType (Core size prec))) #
MapSize (Core size prec) #
Instance details Defined in Traq.ProtoLang.Lenses Associated Types type MappedSize (Core size prec) size' # Methods mapSize :: (size0 ~ SizeType (Core size prec), size' ~ SizeType ext', ext' ~ MappedSize (Core size prec) size') => (size0 -> size') -> Core size prec -> ext' #
HasFreeVars (Core size prec) #
Instance details Defined in Traq.ProtoLang.Vars Methods freeVarsList :: Core size prec -> [Ident] #
TypingReqs sizeT => TypeInferrable (Core sizeT precT) sizeT #
Instance details Defined in Traq.ProtoLang.TypeCheck Methods inferTypes :: forall ext' m. (m ~ TypeChecker ext', sizeT ~ SizeType ext') => Core sizeT precT -> m [VarType sizeT] #
CostReqs size prec => CostQ (Core size prec) size prec #
Instance details Defined in Traq.Analysis.Cost.Quantum Methods costQ :: forall ext' cost m. (m ~ CostAnalysisMonad ext', CostQ ext' size prec, CostModelReqs size prec cost) => Core size prec -> m cost #
(CostReqs size prec, EvalReqs size prec) => ExpCostQ (Core size prec) size prec #
Instance details Defined in Traq.Analysis.Cost.Quantum Methods expCostQ :: forall ext' cost m. (m ~ CostAnalysisMonad ext', ExpCostQ ext' size prec, CostModelReqs size prec cost) => Core size prec -> ProgramState size -> m cost #
CostReqs size prec => CostU (Core size prec) size prec #
Instance details Defined in Traq.Analysis.Cost.Unitary Methods costU :: forall ext' costT m. (m ~ CostAnalysisMonad ext', CostU ext' size prec, CostModelReqs size prec costT) => Core size prec -> m costT #
ErrorReqs size prec => TVErrorQ (Core size prec) size prec #
Instance details Defined in Traq.Analysis.Error.Quantum Methods tvErrorQ :: forall ext' m. (m ~ ErrorAnalysisMonad ext', TVErrorQ ext' size prec, SizeType ext' ~ size, PrecType ext' ~ prec) => Core size prec -> m (FailProb prec) #
ErrorReqs size prec => TraceNormErrorU (Core size prec) size prec #
Instance details Defined in Traq.Analysis.Error.Unitary Methods traceNormErrorU :: forall ext' m. (m ~ ErrorAnalysisMonad ext', TraceNormErrorU ext' size prec, SizeType ext' ~ size, PrecType ext' ~ prec) => Core size prec -> m (FailProb prec) #
EvalReqs SizeT precT => Evaluatable (Core SizeT precT) SizeT precT #
Instance details Defined in Traq.ProtoLang.Eval Methods eval :: (Evaluatable ext' SizeT precT, m ~ Evaluator ext', SizeType ext' ~ SizeT, PrecType ext' ~ precT) => Core SizeT precT -> ProgramState SizeT -> m [Value SizeT] #
type PrecType (Core size prec) #
Instance details Defined in Traq.ProtoLang.Syntax type PrecType (Core size prec) = prec
type SizeType (Core size prec) #
Instance details Defined in Traq.ProtoLang.Syntax type SizeType (Core size prec) = size
type MappedSize (Core size prec) size' #
Instance details Defined in Traq.ProtoLang.Lenses type MappedSize (Core size prec) size' = Core size' prec

Core Language with default types.

type Core' = Core SizeT Double #

Simple void extension with integer size and double prec. Usage: p :: Program Core'

Lenses

class HasFunCtx p ext | p -> ext where #

Methods

_funCtx :: Lens' p (FunCtx ext) #

Instances

Instances details

HasFunCtx (AnnotateEnv ext) ext #
Instance details Defined in Traq.Analysis.Annotate.Prelude Methods _funCtx :: Lens' (AnnotateEnv ext) (FunCtx ext) #
HasFunCtx (EvaluationEnv ext) ext #
Instance details Defined in Traq.ProtoLang.Eval Methods _funCtx :: Lens' (EvaluationEnv ext) (FunCtx ext) #
HasFunCtx (FunCtx ext) ext #
Instance details Defined in Traq.ProtoLang.Syntax Methods _funCtx :: Lens' (FunCtx ext) (FunCtx ext) #
HasFunCtx (AnnotateState ext ext') ext' #
Instance details Defined in Traq.Analysis.Annotate.Prelude Methods _funCtx :: Lens' (AnnotateState ext ext') (FunCtx ext') #