| /dports/biology/py-biopython/biopython-1.79/Tests/ |
| H A D | test_SCOP_Des.py | 42 recFields = (49268, "sp", "b.1.2.1", "", "Human (Homo sapiens)")
45 self.assertEqual(record.sunid, recFields[0])
46 self.assertEqual(record.nodetype, recFields[1])
47 self.assertEqual(record.sccs, recFields[2])
48 self.assertEqual(record.name, recFields[3])
49 self.assertEqual(record.description, recFields[4])
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Rules/Builtin/ |
| H A D | Coinduction.hs | 79 , recFields = [] -- flat is added later function
167 def { recConHead = sharpCon, recFields = [defaultDom flat] }
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/ |
| H A D | Records.hs | 196 recordFieldNames = map (fmap (nameConcrete . qnameName)) . recFields
211 Record{ recFields = fs } -> Set.isSubsetOf given $
230 Record { recFields = fields } -> return fields
534 fs = map argFromDom $ recFields def
602 fs = map argFromDom $ recFields def
656 , recFields = xs function
718 Just Record{ recFields = xs } <- isRecord r
833 fs <- map unDom . recFields . theDef <$> getConstInfo d
|
| H A D | Datatypes.hs | 171 r@Record{ recFields = fs } ->
|
| H A D | Quote.hs | 317 Record{recConHead = c, recFields = fs} ->
|
| H A D | Generalize.hs | 808 , recFields = genRecFields function
|
| H A D | MetaVars.hs | 1491 Just (_, r@Record{ recFields = fs })
|
| H A D | Coverage.hs | 1591 Just (_r, vs, Record{ recFields = fs }) -> do
|
| /dports/net/mDNSResponder/mDNSResponder-1310.140.1/Clients/dnssdutil/ |
| H A D | dnssdutil.c | 9330 err = DataBuffer_Append( inDB, &recFields, sizeof( recFields ) ); in _DNSServerAnswerQueryDynamically()
9634 err = DataBuffer_Append( inDB, &recFields, sizeof( recFields ) ); in _DNSServerAnswerQueryDynamically()
9700 err = DataBuffer_Append( inDB, &recFields, sizeof( recFields ) ); in _DNSServerAnswerQueryDynamically()
9753 err = DataBuffer_Append( inDB, &recFields, sizeof( recFields ) ); in _DNSServerAnswerQueryDynamically()
9883 err = DataBuffer_Append( inDB, &recFields, sizeof( recFields ) ); in _DNSServerAnswerQueryDynamically()
9923 err = DataBuffer_Append( inDB, &recFields, sizeof( recFields ) ); in _DNSServerAnswerQueryDynamically()
9994 err = DataBuffer_Append( inDB, &recFields, sizeof( recFields ) ); in _DNSServerAnswerQueryDynamically()
10049 err = DataBuffer_Append( inDB, &recFields, sizeof( recFields ) ); in _DNSServerAnswerQueryDynamically()
10182 err = DataBuffer_Append( inDB, &recFields, sizeof( recFields ) ); in _DNSServerAnswerQueryDynamically()
10239 err = DataBuffer_Append( inDB, &recFields, sizeof( recFields ) ); in _DNSServerAnswerQueryDynamically()
[all …]
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Rewriting/ |
| H A D | NonLinMatch.hs | 319 let flds = map argFromDom $ recFields def
357 let flds = map argFromDom $ recFields def
|
| H A D | Confluence.hs | 735 let fs = map argFromDom $ recFields $ theDef rdef
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Primitive/ |
| H A D | Base.hs | 219 Record { recFields = [fst,snd], recConHead = con } -> do
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Internal/ |
| H A D | Names.hs | 95 Record { recClause = cl, recConHead = c, recFields = fs, recComp = comp }
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Patterns/ |
| H A D | Match.hs | 245 … r@Record{ recFields = fs } | YesEta <- recEtaEquality r -> return $ Just $ map argFromDom fs
|
| /dports/lang/nim/nim-1.6.2/nimpretty/tests/ |
| H A D | exhaustive.nim | 689 typ.recFields.map(newRecFieldGen))))
819 typ.recFields.map(newRecFieldGen))))
|
| /dports/lang/nim/nim-1.6.2/nimpretty/tests/expected/ |
| H A D | exhaustive.nim | 695 typ.recFields.map(newRecFieldGen))))
832 typ.recFields.map(newRecFieldGen))))
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Rules/ |
| H A D | Record.hs | 220 , recFields = fs function
|
| H A D | Builtin.hs | 689 Record { recFields = [], recConHead = con } -> do
699 Record { recFields = [fst,snd], recConHead = con } -> do
|
| H A D | Term.hs | 992 disambiguateRecordFields (map _nameFieldA $ lefts mfs) (map unDom $ recFields def)
1083 let projs = map argFromDom $ recFields defn
|
| H A D | LHS.hs | 260 axs <- map argFromDom . recFields . theDef <$> getConstInfo d
1604 Record{ recFields = fs, recInduction, recEtaEquality' = eta } -> do
|
| H A D | Application.hs | 1054 Record { recFields = fs } -> do
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Compiler/JS/ |
| H A D | Compiler.hs | 451 Record { recFields = flds } -> ret $ curriedLambda nargs $
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Termination/ |
| H A D | TermCheck.hs | 1114 Record{ recFields = fs } -> do
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Auto/ |
| H A D | Convert.hs | 129 …MB.Record {MB.recFields = fields, MB.recTel = tel} -> do -- the value of recPars seems unreliable …
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/ |
| H A D | BasicOps.hs | 1230 Record{ recFields = fs, recTel = rtel } -> do
|