| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/ |
| H A D | Constraints.hs-boot | 6 import Agda.Syntax.Internal (ProblemId)
14 …traints :: (MonadConstraint m, MonadWarning m, MonadError TCErr m, MonadFresh ProblemId m)
16 ifNoConstraints_ :: TCM () -> TCM a -> (ProblemId -> TCM a) -> TCM a
17 ifNoConstraints :: TCM a -> (a -> TCM b) -> (ProblemId -> a -> TCM b) -> TCM b
|
| H A D | Constraints.hs | 113 stealConstraintsTCM :: ProblemId -> TCM ()
132 :: (MonadConstraint m, MonadWarning m, MonadError TCErr m, MonadFresh ProblemId m)
150 , MonadFresh ProblemId m
158 :: (MonadFresh ProblemId m, MonadConstraint m)
159 => m a -> m (ProblemId, a)
169 :: (MonadFresh ProblemId m, MonadConstraint m)
170 => m a -> m ProblemId
173 ifNoConstraints :: TCM a -> (a -> TCM b) -> (ProblemId -> a -> TCM b) -> TCM b
178 ifNoConstraints_ :: TCM () -> TCM a -> (ProblemId -> TCM a) -> TCM a
|
| H A D | CheckInternal.hs-boot | 21 , MonadFresh ProblemId m
|
| H A D | Conversion.hs-boot | 18 , MonadFresh ProblemId m
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/ |
| H A D | Constraints.hs | 22 solvingProblem :: MonadConstraint m => ProblemId -> m a -> m a
25 solvingProblems :: MonadConstraint m => Set ProblemId -> m a -> m a
36 isProblemSolved :: (MonadTCEnv m, ReadTCState m) => ProblemId -> m Bool
41 getConstraintsForProblem :: ReadTCState m => ProblemId -> m Constraints
121 => Set ProblemId -> Blocker -> Constraint -> m ProblemConstraint
157 stealConstraints :: ProblemId -> m ()
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Internal/ |
| H A D | Blockers.hs | 69 | UnblockOnProblem ProblemId
107 unblockOnProblem :: ProblemId -> Blocker
128 allBlockingProblems :: Blocker -> Set ProblemId
245 wakeIfBlockedOnProblem :: ProblemId -> Blocker -> WakeUp
266 unblockProblem :: ProblemId -> Blocker -> Blocker
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/ |
| H A D | JSONTop.hs | 24 import Agda.Syntax.Internal (telToList, Dom'(..), Dom, MetaId(..), ProblemId(..), Blocker(..))
95 instance EncodeTCM ProblemId where
98 instance ToJSON ProblemId where toJSON (ProblemId i) = toJSON i
|
| H A D | Base.hs | 22 import Agda.Syntax.Internal (ProblemId, Blocker)
421 data OutputForm a b = OutputForm Range [ProblemId] Blocker (OutputConstraint a b)
|
| /dports/math/laspack/laspack/examples/mlstest/ |
| H A D | mlstest.c | 206 int ProblemId; /* problem identifier */ in MGParmInput() local
220 scanf("%d", &ProblemId); in MGParmInput()
221 if (ProblemId < 1 || ProblemId > 2) in MGParmInput()
223 } while (ProblemId < 1 || ProblemId > 2); in MGParmInput()
224 switch (ProblemId) { in MGParmInput()
|
| /dports/sysutils/go-wtf/wtf-0.21.0/modules/zendesk/ |
| H A D | tickets.go | 36 ProblemId uint32 `json:"problem_id"` member
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Conversion/ |
| H A D | Pure.hs | 30 , freshProblemId :: ProblemId
150 instance Monad m => MonadFresh ProblemId (PureConversionT m) where
|
| /dports/security/vault/aws-sdk-go-v2-fdbaadbce5fd/service/applicationinsights/ |
| H A D | api_op_DescribeProblem.go | 35 ProblemId *string member
|
| H A D | api_op_DescribeProblemObservations.go | 35 ProblemId *string member
|
| /dports/net-p2p/go-ethereum/go-ethereum-1.10.14/vendor/github.com/aws/aws-sdk-go-v2/service/applicationinsights/ |
| H A D | api_op_DescribeProblem.go | 35 ProblemId *string member
|
| H A D | api_op_DescribeProblemObservations.go | 35 ProblemId *string member
|
| /dports/net-p2p/go-ethereum/aws-sdk-go-v2-a930583ec379/service/applicationinsights/ |
| H A D | api_op_DescribeProblemObservations.go | 35 ProblemId *string member
|
| H A D | api_op_DescribeProblem.go | 35 ProblemId *string member
|
| /dports/net-p2p/go-ethereum/aws-sdk-go-v2-be1c89938486/service/applicationinsights/ |
| H A D | api_op_DescribeProblem.go | 35 ProblemId *string member
|
| H A D | api_op_DescribeProblemObservations.go | 35 ProblemId *string member
|
| /dports/net-p2p/go-ethereum/aws-sdk-go-v2-credentials-v1.1.1/service/applicationinsights/ |
| H A D | api_op_DescribeProblemObservations.go | 35 ProblemId *string member
|
| H A D | api_op_DescribeProblem.go | 35 ProblemId *string member
|
| /dports/security/vault/vault-1.8.2/vendor/github.com/aws/aws-sdk-go-v2/service/applicationinsights/ |
| H A D | api_op_DescribeProblem.go | 35 ProblemId *string member
|
| H A D | api_op_DescribeProblemObservations.go | 35 ProblemId *string member
|
| /dports/security/vault/aws-sdk-go-v2-1.5.0/service/applicationinsights/ |
| H A D | api_op_DescribeProblem.go | 35 ProblemId *string member
|
| H A D | api_op_DescribeProblemObservations.go | 35 ProblemId *string member
|