Searched refs:ipMeta (Results 1 – 5 of 5) sorted by relevance
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/ |
| H A D | MetaVars.hs | 382 …let ip = InteractionPoint { ipRange = r, ipMeta = Nothing, ipSolved = False, ipClause = IPNoClause…
414 …let ip = InteractionPoint { ipRange = __IMPOSSIBLE__, ipMeta = Just mi, ipSolved = False, ipClause…
433 mapMaybe ipMeta . filter (not . ipSolved) . BiMap.elems <$> useR stInteractionPoints
451 where f (ii, ip) = (ii,) <$> ipMeta ip
474 lookupInteractionId ii = fromMaybeM err2 $ ipMeta <$> lookupInteractionPoint ii
483 lookupInteractionMeta_ ii m = ipMeta =<< BiMap.lookup ii m
|
| H A D | Base.hs | 1494 , ipMeta :: Maybe MetaId -- ^ The meta variable, if any, holding the type etc. function
1502 instance Eq InteractionPoint where (==) = (==) `on` ipMeta
1506 tag = ipMeta
|
| /dports/databases/hbase/hbase-1.2.1/hbase-server/src/test/java/org/apache/hadoop/hbase/ |
| H A D | TestZooKeeper.java | 280 Table ipMeta = new HTable(otherConf, TableName.META_TABLE_NAME); in testMultipleZK() local
285 ipMeta.exists(new Get(row)); in testMultipleZK()
296 ipMeta.close(); in testMultipleZK()
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/ |
| H A D | MakeCase.hs | 252 InteractionPoint { ipMeta = mm, ipClause = ipCl} <- lookupInteractionPoint hole
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/ |
| H A D | Generalize.hs | 319 let inscope (ii, InteractionPoint{ipMeta = Just x})
|