Safe Haskell	Safe-Inferred
Language	Haskell2010

Traq.CQPL.Syntax

Contents

Syntax
Syntax Sugar
Lenses

Synopsis

data MetaParam size
- = MetaName String
- | MetaSize size
data Arg size
- = Arg Ident
- | ArrElemArg (Arg size) (MetaParam size)
class HasAdjoint a where
- adjoint :: a -> a
data BasicGate
- = Toffoli
- | CNOT
- | XGate
- | HGate
- | ZGate
- | COPY
- | SWAP
- | Rz Double
- | PhaseOnZero Double
data Unitary size
- = BasicGateU BasicGate
- | RevEmbedU [Ident] (BasicExpr size)
- | DistrU (DistrExpr size)
- | Controlled (Unitary size)
- | Adjoint (Unitary size)
data UStmt size
- = USkipS
- | UnitaryS {
  - qargs :: [Arg size]
  - unitary :: Unitary size
  }
- | UCallS {
  - uproc_id :: Ident
  - dagger :: Bool
  - qargs :: [Arg size]
  }
- | USeqS [UStmt size]
- | UCommentS String
- | URepeatS {
  - n_iter :: MetaParam size
  - uloop_body :: UStmt size
  }
- | UForInRangeS {
  - iter_meta_var :: Ident
  - iter_lim :: MetaParam size
  - dagger :: Bool
  - uloop_body :: UStmt size
  }
- | UForInDomainS {
  - iter_meta_var :: Ident
  - iter_ty :: VarType size
  - dagger :: Bool
  - uloop_body :: UStmt size
  }
- | UWithComputedS {
  - with_ustmt, body_ustmt :: UStmt size
  }
data FunctionCall
- = FunctionCall Ident
- | UProcAndMeas Ident
data Stmt size
- = SkipS
- | CommentS String
- | AssignS {
  - rets :: [Ident]
  - expr :: BasicExpr size
  }
- | RandomS {
  - rets :: [Ident]
  - distr_expr :: DistrExpr size
  }
- | RandomDynS {
  - ret :: Ident
  - max_var :: Ident
  }
- | CallS {
  - fun :: FunctionCall
  - meta_params :: [Either (MetaParam size) Ident]
  - args :: [Arg size]
  }
- | SeqS [Stmt size]
- | IfThenElseS {
  - cond :: Ident
  - s_true, s_false :: Stmt size
  }
- | RepeatS {
  - n_iter :: MetaParam size
  - loop_body :: Stmt size
  }
- | WhileK {
  - n_iter :: MetaParam size
  - cond :: Ident
  - loop_body :: Stmt size
  }
- | WhileKWithCondExpr {
  - n_iter :: MetaParam size
  - cond :: Ident
  - cond_expr :: BasicExpr size
  - loop_body :: Stmt size
  }
- | ForInArray {
  - loop_index :: Ident
  - loop_index_ty :: VarType size
  - loop_values :: [BasicExpr size]
  - loop_body :: Stmt size
  }
- | ForInRangeS {
  - iter_meta_var :: Ident
  - iter_lim :: MetaParam size
  - loop_body :: Stmt size
  }
data ParamTag
- = ParamCtrl
- | ParamInp
- | ParamOut
- | ParamAux
- | ParamUnk
data UProcBody size
- = UProcBody {
  - uproc_param_names :: [Ident]
  - uproc_param_tags :: [ParamTag]
  - uproc_body_stmt :: UStmt size
  }
- | UProcDecl
data CProcBody size
- = CProcBody {
  - cproc_param_names :: [Ident]
  - cproc_local_vars :: [(Ident, VarType size)]
  - cproc_body_stmt :: Stmt size
  }
- | CProcDecl
data ProcBody size
- = ProcBodyU (UProcBody size)
- | ProcBodyC (CProcBody size)
data ProcDef size = ProcDef {
- info_comment :: String
- proc_name :: Ident
- proc_meta_params :: [Ident]
- proc_param_types :: [VarType size]
- proc_body :: ProcBody size
}
type ProcCtx size = Context (ProcDef size)
newtype Program size = Program [ProcDef size]
ifThenS :: Ident -> Stmt size -> Stmt size
mkForInRangeS :: Ident -> MetaParam size -> UStmt size -> UStmt size
desugarS :: CanDesugar p => p -> Maybe p
class HasProcCtx s where
- _procCtx :: (size ~ SizeType s, prec ~ PrecType s) => Lens' s (ProcCtx size)
isUProc :: ClassifyProc p => p -> Bool
isCProc :: ClassifyProc p => p -> Bool

Syntax

data MetaParam size #

Compile-time constant parameters

Constructors

MetaName String
MetaSize size

Instances

Instances details

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

data Arg size #

An argument (to ops/procs)

Constructors

Arg Ident
ArrElemArg (Arg size) (MetaParam size)

Instances

Instances details

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

Unitary Fragment

class HasAdjoint a where #

Methods

adjoint :: a -> a #

Instances

Instances details

HasAdjoint BasicGate #
Instance details Defined in Traq.CQPL.Syntax Methods adjoint :: BasicGate -> BasicGate #
HasAdjoint (UStmt size) #
Instance details Defined in Traq.CQPL.Syntax Methods adjoint :: UStmt size -> UStmt size #
HasAdjoint (Unitary size) #
Instance details Defined in Traq.CQPL.Syntax Methods adjoint :: Unitary size -> Unitary size #

data BasicGate #

Constructors

Toffoli
CNOT
XGate
HGate
ZGate
COPY
SWAP
Rz Double
PhaseOnZero Double

Instances

Instances details

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

data Unitary size #

Unitary operators in CQPL

Constructors

BasicGateU BasicGate
RevEmbedU [Ident] (BasicExpr size)
DistrU (DistrExpr size)
Controlled (Unitary size)
Adjoint (Unitary size)

Instances

Instances details

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

data UStmt size #

Unitary Statement

Constructors

USkipS
UnitaryS
Fields qargs :: [Arg size] unitary :: Unitary size
UCallS
Fields uproc_id :: Ident dagger :: Bool qargs :: [Arg size]
USeqS [UStmt size]
UCommentS String
URepeatS
Fields n_iter :: MetaParam size uloop_body :: UStmt size
UForInRangeS
Fields iter_meta_var :: Ident iter_lim :: MetaParam size dagger :: Bool uloop_body :: UStmt size
UForInDomainS
Fields iter_meta_var :: Ident iter_ty :: VarType size dagger :: Bool uloop_body :: UStmt size
UWithComputedS
Fields with_ustmt, body_ustmt :: UStmt size

Instances

Instances details

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

Classical Fragment

data FunctionCall #

Type of function call

Constructors

FunctionCall Ident
UProcAndMeas Ident

Instances

Instances details

Read FunctionCall #
Instance details Defined in Traq.CQPL.Syntax Methods readsPrec :: Int -> ReadS FunctionCall # readList :: ReadS [FunctionCall] # readPrec :: ReadPrec FunctionCall # readListPrec :: ReadPrec [FunctionCall] #
Show FunctionCall #
Instance details Defined in Traq.CQPL.Syntax Methods showsPrec :: Int -> FunctionCall -> ShowS # show :: FunctionCall -> String # showList :: [FunctionCall] -> ShowS #
Eq FunctionCall #
Instance details Defined in Traq.CQPL.Syntax Methods (==) :: FunctionCall -> FunctionCall -> Bool # (/=) :: FunctionCall -> FunctionCall -> Bool #

data Stmt size #

CQ Statement

Constructors

SkipS
CommentS String
AssignS
Fields rets :: [Ident] expr :: BasicExpr size
RandomS
Fields rets :: [Ident] distr_expr :: DistrExpr size
RandomDynS
Fields ret :: Ident max_var :: Ident
CallS
Fields fun :: FunctionCall meta_params :: [Either (MetaParam size) Ident] args :: [Arg size]
SeqS [Stmt size]
IfThenElseS
Fields cond :: Ident s_true, s_false :: Stmt size
RepeatS
Fields n_iter :: MetaParam size loop_body :: Stmt size
WhileK
Fields n_iter :: MetaParam size cond :: Ident loop_body :: Stmt size
WhileKWithCondExpr
Fields n_iter :: MetaParam size cond :: Ident cond_expr :: BasicExpr size loop_body :: Stmt size
ForInArray
Fields loop_index :: Ident loop_index_ty :: VarType size loop_values :: [BasicExpr size] loop_body :: Stmt size
ForInRangeS
Fields iter_meta_var :: Ident iter_lim :: MetaParam size loop_body :: Stmt size

Instances

Instances details

Read size => Read (Stmt size) #
Instance details Defined in Traq.CQPL.Syntax Methods readsPrec :: Int -> ReadS (Stmt size) # readList :: ReadS [Stmt size] # readPrec :: ReadPrec (Stmt size) # readListPrec :: ReadPrec [Stmt size] #
Show size => Show (Stmt size) #
Instance details Defined in Traq.CQPL.Syntax Methods showsPrec :: Int -> Stmt size -> ShowS # show :: Stmt size -> String # showList :: [Stmt size] -> ShowS #
Eq size => Eq (Stmt size) #
Instance details Defined in Traq.CQPL.Syntax Methods (==) :: Stmt size -> Stmt size -> Bool # (/=) :: Stmt size -> Stmt size -> Bool #
HasAst (Stmt size) #
Instance details Defined in Traq.CQPL.Syntax Methods _ast :: Traversal' (Stmt size) (Stmt size) #
HasStmt (Stmt size) #
Instance details Defined in Traq.CQPL.Syntax Associated Types type StmtOf (Stmt size) # Methods _stmt :: Traversal' (Stmt size) (StmtOf (Stmt size)) #
Show size => ToCodeString (Stmt size) #
Instance details Defined in Traq.CQPL.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => Stmt size -> m () #
type SizeType (Stmt size) #
Instance details Defined in Traq.CQPL.Syntax type SizeType (Stmt size) = size
type StmtOf (Stmt size) #
Instance details Defined in Traq.CQPL.Syntax type StmtOf (Stmt size) = Stmt size

Procedures

data ParamTag #

Constructors

ParamCtrl
ParamInp
ParamOut
ParamAux
ParamUnk

Instances

Instances details

Enum ParamTag #
Instance details Defined in Traq.CQPL.Syntax Methods succ :: ParamTag -> ParamTag # pred :: ParamTag -> ParamTag # toEnum :: Int -> ParamTag # fromEnum :: ParamTag -> Int # enumFrom :: ParamTag -> [ParamTag] # enumFromThen :: ParamTag -> ParamTag -> [ParamTag] # enumFromTo :: ParamTag -> ParamTag -> [ParamTag] # enumFromThenTo :: ParamTag -> ParamTag -> ParamTag -> [ParamTag] #
Read ParamTag #
Instance details Defined in Traq.CQPL.Syntax Methods readsPrec :: Int -> ReadS ParamTag # readList :: ReadS [ParamTag] # readPrec :: ReadPrec ParamTag # readListPrec :: ReadPrec [ParamTag] #
Show ParamTag #
Instance details Defined in Traq.CQPL.Syntax Methods showsPrec :: Int -> ParamTag -> ShowS # show :: ParamTag -> String # showList :: [ParamTag] -> ShowS #
Eq ParamTag #
Instance details Defined in Traq.CQPL.Syntax Methods (==) :: ParamTag -> ParamTag -> Bool # (/=) :: ParamTag -> ParamTag -> Bool #
ToCodeString ParamTag #
Instance details Defined in Traq.CQPL.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => ParamTag -> m () #

data UProcBody size #

Unitary Procedure body: either a statement (with parameter name bindings) or a tick.

Constructors

UProcBody
Fields uproc_param_names :: [Ident] uproc_param_tags :: [ParamTag] uproc_body_stmt :: UStmt size
UProcDecl

Instances

Instances details

Read size => Read (UProcBody size) #
Instance details Defined in Traq.CQPL.Syntax Methods readsPrec :: Int -> ReadS (UProcBody size) # readList :: ReadS [UProcBody size] # readPrec :: ReadPrec (UProcBody size) # readListPrec :: ReadPrec [UProcBody size] #
Show size => Show (UProcBody size) #
Instance details Defined in Traq.CQPL.Syntax Methods showsPrec :: Int -> UProcBody size -> ShowS # show :: UProcBody size -> String # showList :: [UProcBody size] -> ShowS #
Eq size => Eq (UProcBody size) #
Instance details Defined in Traq.CQPL.Syntax Methods (==) :: UProcBody size -> UProcBody size -> Bool # (/=) :: UProcBody size -> UProcBody size -> Bool #
type SizeType (UProcBody size) #
Instance details Defined in Traq.CQPL.Syntax type SizeType (UProcBody size) = size

data CProcBody size #

Classical Procedure body: either a tick, or statement with bindings for parameters names, and optionally using local variables.

Constructors

CProcBody
Fields cproc_param_names :: [Ident] cproc_local_vars :: [(Ident, VarType size)] cproc_body_stmt :: Stmt size
CProcDecl

Instances

Instances details

Read size => Read (CProcBody size) #
Instance details Defined in Traq.CQPL.Syntax Methods readsPrec :: Int -> ReadS (CProcBody size) # readList :: ReadS [CProcBody size] # readPrec :: ReadPrec (CProcBody size) # readListPrec :: ReadPrec [CProcBody size] #
Show size => Show (CProcBody size) #
Instance details Defined in Traq.CQPL.Syntax Methods showsPrec :: Int -> CProcBody size -> ShowS # show :: CProcBody size -> String # showList :: [CProcBody size] -> ShowS #
Eq size => Eq (CProcBody size) #
Instance details Defined in Traq.CQPL.Syntax Methods (==) :: CProcBody size -> CProcBody size -> Bool # (/=) :: CProcBody size -> CProcBody size -> Bool #
HasStmt (CProcBody size) #
Instance details Defined in Traq.CQPL.Syntax Associated Types type StmtOf (CProcBody size) # Methods _stmt :: Traversal' (CProcBody size) (StmtOf (CProcBody size)) #
type SizeType (CProcBody size) #
Instance details Defined in Traq.CQPL.Syntax type SizeType (CProcBody size) = size
type StmtOf (CProcBody size) #
Instance details Defined in Traq.CQPL.Syntax type StmtOf (CProcBody size) = Stmt size

data ProcBody size #

Constructors

ProcBodyU (UProcBody size)
ProcBodyC (CProcBody size)

Instances

Instances details

Read size => Read (ProcBody size) #
Instance details Defined in Traq.CQPL.Syntax Methods readsPrec :: Int -> ReadS (ProcBody size) # readList :: ReadS [ProcBody size] # readPrec :: ReadPrec (ProcBody size) # readListPrec :: ReadPrec [ProcBody size] #
Show size => Show (ProcBody size) #
Instance details Defined in Traq.CQPL.Syntax Methods showsPrec :: Int -> ProcBody size -> ShowS # show :: ProcBody size -> String # showList :: [ProcBody size] -> ShowS #
Eq size => Eq (ProcBody size) #
Instance details Defined in Traq.CQPL.Syntax Methods (==) :: ProcBody size -> ProcBody size -> Bool # (/=) :: ProcBody size -> ProcBody size -> Bool #
type SizeType (ProcBody size) #
Instance details Defined in Traq.CQPL.Syntax type SizeType (ProcBody size) = size

data ProcDef size #

Constructors

ProcDef
Fields info_comment :: String proc_name :: Ident proc_meta_params :: [Ident] proc_param_types :: [VarType size] proc_body :: ProcBody size

Instances

Instances details

Read size => Read (ProcDef size) #
Instance details Defined in Traq.CQPL.Syntax Methods readsPrec :: Int -> ReadS (ProcDef size) # readList :: ReadS [ProcDef size] # readPrec :: ReadPrec (ProcDef size) # readListPrec :: ReadPrec [ProcDef size] #
Show size => Show (ProcDef size) #
Instance details Defined in Traq.CQPL.Syntax Methods showsPrec :: Int -> ProcDef size -> ShowS # show :: ProcDef size -> String # showList :: [ProcDef size] -> ShowS #
Eq size => Eq (ProcDef size) #
Instance details Defined in Traq.CQPL.Syntax Methods (==) :: ProcDef size -> ProcDef size -> Bool # (/=) :: ProcDef size -> ProcDef size -> Bool #
HasProcCtx (ProcCtx size) #
Instance details Defined in Traq.CQPL.Syntax Methods _procCtx :: (size0 ~ SizeType (ProcCtx size), prec ~ PrecType (ProcCtx size)) => Lens' (ProcCtx size) (ProcCtx size0) #
HasStmt (ProcDef size) #
Instance details Defined in Traq.CQPL.Syntax Associated Types type StmtOf (ProcDef size) # Methods _stmt :: Traversal' (ProcDef size) (StmtOf (ProcDef size)) #
Show size => ToCodeString (ProcDef size) #
Instance details Defined in Traq.CQPL.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => ProcDef size -> m () #
type SizeType (ProcDef size) #
Instance details Defined in Traq.CQPL.Syntax type SizeType (ProcDef size) = size
type StmtOf (ProcDef size) #
Instance details Defined in Traq.CQPL.Syntax type StmtOf (ProcDef size) = Stmt size

Program

type ProcCtx size = Context (ProcDef size) #

CQ procedures

newtype Program size #

CQ Program

Constructors

Program [ProcDef size]

Instances

Instances details

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

Syntax Sugar

ifThenS :: Ident -> Stmt size -> Stmt size #

mkForInRangeS :: Ident -> MetaParam size -> UStmt size -> UStmt size #

desugarS :: CanDesugar p => p -> Maybe p #

Lenses

class HasProcCtx s where #

Methods

_procCtx :: (size ~ SizeType s, prec ~ PrecType s) => Lens' s (ProcCtx size) #

Instances

Instances details

HasProcCtx (ProcCtx size) #
Instance details Defined in Traq.CQPL.Syntax Methods _procCtx :: (size0 ~ SizeType (ProcCtx size), prec ~ PrecType (ProcCtx size)) => Lens' (ProcCtx size) (ProcCtx size0) #
HasProcCtx (CheckingCtx size) #
Instance details Defined in Traq.CQPL.TypeCheck Methods _procCtx :: (size0 ~ SizeType (CheckingCtx size), prec ~ PrecType (CheckingCtx size)) => Lens' (CheckingCtx size) (ProcCtx size0) #

isUProc :: ClassifyProc p => p -> Bool #

isCProc :: ClassifyProc p => p -> Bool #