| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/th-abstraction-0.4.2.0/test/ |
| H A D | Main.hs | 114 vars@[aVar,bVar] = map (VarT . mkName) ["a","b"]
148 aVar = VarT a function
155 , datatypeInstTypes = [SigT aVar starK]
169 , constructorFields = [AppT (AppT (TupleT 2) aVar) aVar]
230 [ equalPred aVar cVar
296 vars@[aVar,bVar] = map VarT names
903 [kVar,aVar] = map VarT names
905 aSig = SigT aVar kVar
977 , constructorVars = [kindedTV x aVar]
1056 let [aVar, bVar] = map VarT [a, b]
[all …]
|
| /dports/www/hs-yesod-bin/yesod-bin-1.6.1/_cabal_deps/th-abstraction-0.4.2.0/test/ |
| H A D | Main.hs | 114 vars@[aVar,bVar] = map (VarT . mkName) ["a","b"]
148 aVar = VarT a function
155 , datatypeInstTypes = [SigT aVar starK]
169 , constructorFields = [AppT (AppT (TupleT 2) aVar) aVar]
230 [ equalPred aVar cVar
296 vars@[aVar,bVar] = map VarT names
903 [kVar,aVar] = map VarT names
905 aSig = SigT aVar kVar
977 , constructorVars = [kindedTV x aVar]
1056 let [aVar, bVar] = map VarT [a, b]
[all …]
|
| /dports/www/hs-wai-app-static/wai-app-static-3.1.7.2/_cabal_deps/th-abstraction-0.4.2.0/test/ |
| H A D | Main.hs | 114 vars@[aVar,bVar] = map (VarT . mkName) ["a","b"]
148 aVar = VarT a function
155 , datatypeInstTypes = [SigT aVar starK]
169 , constructorFields = [AppT (AppT (TupleT 2) aVar) aVar]
230 [ equalPred aVar cVar
296 vars@[aVar,bVar] = map VarT names
903 [kVar,aVar] = map VarT names
905 aSig = SigT aVar kVar
977 , constructorVars = [kindedTV x aVar]
1056 let [aVar, bVar] = map VarT [a, b]
[all …]
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/th-abstraction-0.4.2.0/test/ |
| H A D | Main.hs | 114 vars@[aVar,bVar] = map (VarT . mkName) ["a","b"]
148 aVar = VarT a function
155 , datatypeInstTypes = [SigT aVar starK]
169 , constructorFields = [AppT (AppT (TupleT 2) aVar) aVar]
230 [ equalPred aVar cVar
296 vars@[aVar,bVar] = map VarT names
903 [kVar,aVar] = map VarT names
905 aSig = SigT aVar kVar
977 , constructorVars = [kindedTV x aVar]
1056 let [aVar, bVar] = map VarT [a, b]
[all …]
|
| /dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/th-abstraction-0.3.2.0/test/ |
| H A D | Main.hs | 113 vars@[aVar,bVar] = map (VarT . mkName) ["a","b"]
147 aVar = VarT a function
154 , datatypeInstTypes = [SigT aVar starK]
168 , constructorFields = [AppT (AppT (TupleT 2) aVar) aVar]
229 [ equalPred aVar cVar
295 vars@[aVar,bVar] = map VarT names
900 [kVar,aVar] = map VarT names
902 aSig = SigT aVar kVar
974 , constructorVars = [KindedTV x aVar]
1053 let [aVar, bVar] = map VarT [a, b]
[all …]
|
| /dports/devel/hs-ghcprofview/ghcprofview-0.1.0.1/_cabal_deps/th-abstraction-0.4.2.0/test/ |
| H A D | Main.hs | 114 vars@[aVar,bVar] = map (VarT . mkName) ["a","b"]
148 aVar = VarT a function
155 , datatypeInstTypes = [SigT aVar starK]
169 , constructorFields = [AppT (AppT (TupleT 2) aVar) aVar]
230 [ equalPred aVar cVar
296 vars@[aVar,bVar] = map VarT names
903 [kVar,aVar] = map VarT names
905 aSig = SigT aVar kVar
977 , constructorVars = [kindedTV x aVar]
1056 let [aVar, bVar] = map VarT [a, b]
[all …]
|
| /dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/th-abstraction-0.3.2.0/test/ |
| H A D | Main.hs | 113 vars@[aVar,bVar] = map (VarT . mkName) ["a","b"]
147 aVar = VarT a function
154 , datatypeInstTypes = [SigT aVar starK]
168 , constructorFields = [AppT (AppT (TupleT 2) aVar) aVar]
229 [ equalPred aVar cVar
295 vars@[aVar,bVar] = map VarT names
900 [kVar,aVar] = map VarT names
902 aSig = SigT aVar kVar
974 , constructorVars = [KindedTV x aVar]
1053 let [aVar, bVar] = map VarT [a, b]
[all …]
|
| /dports/devel/hs-ShellCheck/ShellCheck-0.8.0/_cabal_deps/th-abstraction-0.4.3.0/test/ |
| H A D | Main.hs | 116 vars@[aVar,bVar] = map (VarT . mkName) ["a","b"]
150 aVar = VarT a function
157 , datatypeInstTypes = [SigT aVar starK]
171 , constructorFields = [AppT (AppT (TupleT 2) aVar) aVar]
232 [ equalPred aVar cVar
298 vars@[aVar,bVar] = map VarT names
905 [kVar,aVar] = map VarT names
907 aSig = SigT aVar kVar
979 , constructorVars = [kindedTV x aVar]
1058 let [aVar, bVar] = map VarT [a, b]
[all …]
|
| /dports/devel/elm-format/elm-format-0.8.3/_cabal_deps/th-abstraction-0.3.2.0/test/ |
| H A D | Main.hs | 113 vars@[aVar,bVar] = map (VarT . mkName) ["a","b"]
147 aVar = VarT a function
154 , datatypeInstTypes = [SigT aVar starK]
168 , constructorFields = [AppT (AppT (TupleT 2) aVar) aVar]
229 [ equalPred aVar cVar
295 vars@[aVar,bVar] = map VarT names
900 [kVar,aVar] = map VarT names
902 aSig = SigT aVar kVar
974 , constructorVars = [KindedTV x aVar]
1053 let [aVar, bVar] = map VarT [a, b]
[all …]
|
| /dports/misc/hs-hascard/hascard-0.3.0.1/_cabal_deps/th-abstraction-0.4.2.0/test/ |
| H A D | Main.hs | 114 vars@[aVar,bVar] = map (VarT . mkName) ["a","b"]
148 aVar = VarT a function
155 , datatypeInstTypes = [SigT aVar starK]
169 , constructorFields = [AppT (AppT (TupleT 2) aVar) aVar]
230 [ equalPred aVar cVar
296 vars@[aVar,bVar] = map VarT names
903 [kVar,aVar] = map VarT names
905 aSig = SigT aVar kVar
977 , constructorVars = [kindedTV x aVar]
1056 let [aVar, bVar] = map VarT [a, b]
[all …]
|
| /dports/devel/stack/stack-2.7.3/_cabal_deps/th-abstraction-0.4.2.0/test/ |
| H A D | Main.hs | 114 vars@[aVar,bVar] = map (VarT . mkName) ["a","b"]
148 aVar = VarT a function
155 , datatypeInstTypes = [SigT aVar starK]
169 , constructorFields = [AppT (AppT (TupleT 2) aVar) aVar]
230 [ equalPred aVar cVar
296 vars@[aVar,bVar] = map VarT names
903 [kVar,aVar] = map VarT names
905 aSig = SigT aVar kVar
977 , constructorVars = [kindedTV x aVar]
1056 let [aVar, bVar] = map VarT [a, b]
[all …]
|
| /dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/th-abstraction-0.3.2.0/test/ |
| H A D | Main.hs | 113 vars@[aVar,bVar] = map (VarT . mkName) ["a","b"]
147 aVar = VarT a function
154 , datatypeInstTypes = [SigT aVar starK]
168 , constructorFields = [AppT (AppT (TupleT 2) aVar) aVar]
229 [ equalPred aVar cVar
295 vars@[aVar,bVar] = map VarT names
900 [kVar,aVar] = map VarT names
902 aSig = SigT aVar kVar
974 , constructorVars = [KindedTV x aVar]
1053 let [aVar, bVar] = map VarT [a, b]
[all …]
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/th-abstraction-0.4.2.0/test/ |
| H A D | Main.hs | 114 vars@[aVar,bVar] = map (VarT . mkName) ["a","b"]
148 aVar = VarT a function
155 , datatypeInstTypes = [SigT aVar starK]
169 , constructorFields = [AppT (AppT (TupleT 2) aVar) aVar]
230 [ equalPred aVar cVar
296 vars@[aVar,bVar] = map VarT names
903 [kVar,aVar] = map VarT names
905 aSig = SigT aVar kVar
977 , constructorVars = [kindedTV x aVar]
1056 let [aVar, bVar] = map VarT [a, b]
[all …]
|
| /dports/textproc/hs-yaml/yaml-0.11.5.0/_cabal_deps/th-abstraction-0.3.2.0/test/ |
| H A D | Main.hs | 113 vars@[aVar,bVar] = map (VarT . mkName) ["a","b"]
147 aVar = VarT a function
154 , datatypeInstTypes = [SigT aVar starK]
168 , constructorFields = [AppT (AppT (TupleT 2) aVar) aVar]
229 [ equalPred aVar cVar
295 vars@[aVar,bVar] = map VarT names
900 [kVar,aVar] = map VarT names
902 aSig = SigT aVar kVar
974 , constructorVars = [KindedTV x aVar]
1053 let [aVar, bVar] = map VarT [a, b]
[all …]
|
| /dports/x11/conlecterm/conlecterm-1.4.3.0/_cabal_deps/th-abstraction-0.3.2.0/test/ |
| H A D | Main.hs | 113 vars@[aVar,bVar] = map (VarT . mkName) ["a","b"]
147 aVar = VarT a function
154 , datatypeInstTypes = [SigT aVar starK]
168 , constructorFields = [AppT (AppT (TupleT 2) aVar) aVar]
229 [ equalPred aVar cVar
295 vars@[aVar,bVar] = map VarT names
900 [kVar,aVar] = map VarT names
902 aSig = SigT aVar kVar
974 , constructorVars = [KindedTV x aVar]
1053 let [aVar, bVar] = map VarT [a, b]
[all …]
|
| /dports/x11/hs-xmobar/xmobar-0.39/_cabal_deps/th-abstraction-0.4.0.0/test/ |
| H A D | Main.hs | 114 vars@[aVar,bVar] = map (VarT . mkName) ["a","b"]
148 aVar = VarT a function
155 , datatypeInstTypes = [SigT aVar starK]
169 , constructorFields = [AppT (AppT (TupleT 2) aVar) aVar]
230 [ equalPred aVar cVar
296 vars@[aVar,bVar] = map VarT names
904 [kVar,aVar] = map VarT names
906 aSig = SigT aVar kVar
978 , constructorVars = [kindedTV x aVar]
1057 let [aVar, bVar] = map VarT [a, b]
[all …]
|
| /dports/textproc/hs-pandoc/pandoc-2.14.2/_cabal_deps/th-abstraction-0.4.2.0/test/ |
| H A D | Main.hs | 114 vars@[aVar,bVar] = map (VarT . mkName) ["a","b"]
148 aVar = VarT a function
155 , datatypeInstTypes = [SigT aVar starK]
169 , constructorFields = [AppT (AppT (TupleT 2) aVar) aVar]
230 [ equalPred aVar cVar
296 vars@[aVar,bVar] = map VarT names
903 [kVar,aVar] = map VarT names
905 aSig = SigT aVar kVar
977 , constructorVars = [kindedTV x aVar]
1056 let [aVar, bVar] = map VarT [a, b]
[all …]
|
| /dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/th-abstraction-0.4.2.0/test/ |
| H A D | Main.hs | 114 vars@[aVar,bVar] = map (VarT . mkName) ["a","b"]
148 aVar = VarT a function
155 , datatypeInstTypes = [SigT aVar starK]
169 , constructorFields = [AppT (AppT (TupleT 2) aVar) aVar]
230 [ equalPred aVar cVar
296 vars@[aVar,bVar] = map VarT names
903 [kVar,aVar] = map VarT names
905 aSig = SigT aVar kVar
977 , constructorVars = [kindedTV x aVar]
1056 let [aVar, bVar] = map VarT [a, b]
[all …]
|
| /dports/textproc/cgrep/cgrep-6.6.32/_cabal_deps/th-abstraction-0.3.2.0/test/ |
| H A D | Main.hs | 113 vars@[aVar,bVar] = map (VarT . mkName) ["a","b"]
147 aVar = VarT a function
154 , datatypeInstTypes = [SigT aVar starK]
168 , constructorFields = [AppT (AppT (TupleT 2) aVar) aVar]
229 [ equalPred aVar cVar
295 vars@[aVar,bVar] = map VarT names
900 [kVar,aVar] = map VarT names
902 aSig = SigT aVar kVar
974 , constructorVars = [KindedTV x aVar]
1053 let [aVar, bVar] = map VarT [a, b]
[all …]
|
| /dports/lang/seed7/seed7/lib/ |
| H A D | stdio.s7i | 128 const proc: read (inout string: aVar) is func
130 read(IN, aVar);
138 * If the word is empty ''defaultValue'' is assigned to ''aVar''.
143 const proc: read (inout string: aVar, in string: defaultValue) is func
145 read(IN, aVar, defaultValue);
156 const proc: readln (inout string: aVar) is func
158 readln(IN, aVar);
165 * If the line is empty ''defaultValue'' is assigned to ''aVar''.
170 const proc: readln (inout string: aVar, in string: defaultValue) is func
172 readln(IN, aVar, defaultValue);
|
| H A D | file.s7i | 255 * Read a word from ''inFile'' into ''aVar''.
264 aVar := getwd(inFile);
277 const proc: read (inout file: inFile, inout string: aVar,
280 aVar := getwd(inFile);
281 if aVar = "" then
282 aVar := defaultValue;
288 * Read a line from ''inFile'' into ''aVar''.
296 aVar := getln(inFile);
311 aVar := getln(inFile);
312 if aVar = "" then
[all …]
|
| /dports/net-mgmt/snmp4nagios/SNMP4Nagios-0.4/ |
| H A D | nagiosif.c | 38 char* GetEnv ( char* aVar, int aFail ) in GetEnv() argument
40 char* val = getenv ( aVar ); in GetEnv()
45 "Could not read environment variable %s.\n", aVar ); in GetEnv()
|
| H A D | check_cpq_thermal.c | 107 void SnmpWalkHandleVariable ( netsnmp_variable_list* aVar ) in SnmpWalkHandleVariable() argument
109 if ( aVar->name_length == 12 ) in SnmpWalkHandleVariable()
111 if ( OidCmp ( aVar->name, baseOID, baseOIDLen ) == 0 ) in SnmpWalkHandleVariable()
115 switch ( aVar->name [11] ) in SnmpWalkHandleVariable()
|
| H A D | check_ups_battery.c | 158 void SnmpWalkHandleVariable ( netsnmp_variable_list* aVar ) in SnmpWalkHandleVariable() argument
160 if ( aVar->name_length == 11 ) in SnmpWalkHandleVariable()
162 if ( OidCmp ( aVar->name, baseOID, baseOIDLen ) == 0 ) in SnmpWalkHandleVariable()
164 if ( aVar->name [10] == 0 ) in SnmpWalkHandleVariable()
166 switch ( aVar->name [9] ) in SnmpWalkHandleVariable()
173 scanRes [0].v1 = ( aVar->type == ASN_INTEGER ); in SnmpWalkHandleVariable()
182 scanRes [0].v2 = ( aVar->type == ASN_INTEGER ); in SnmpWalkHandleVariable()
185 scanRes [0].v3 = ( aVar->type == ASN_INTEGER ); in SnmpWalkHandleVariable()
188 scanRes [0].v4 = ( aVar->type == ASN_INTEGER ); in SnmpWalkHandleVariable()
191 scanRes [0].v5 = ( aVar->type == ASN_INTEGER ); in SnmpWalkHandleVariable()
[all …]
|
| H A D | check_winf_mem.c | 259 void SnmpWalkHandleVariable ( netsnmp_variable_list* aVar ) in SnmpWalkHandleVariable() argument
261 if ( aVar->name_length == 12 ) in SnmpWalkHandleVariable()
263 if ( OidCmp ( aVar->name, baseOID, baseOIDLen ) == 0 ) in SnmpWalkHandleVariable()
265 if ( aVar->name [11] == 0 ) in SnmpWalkHandleVariable()
267 switch ( aVar->name [10] ) in SnmpWalkHandleVariable()
274 scanRes [0].v2 = ( aVar->type == ASN_GAUGE ); in SnmpWalkHandleVariable()
292 scanRes [0].v4 = ( aVar->type == ASN_GAUGE ); in SnmpWalkHandleVariable()
295 scanRes [0].v5 = ( aVar->type == ASN_GAUGE ); in SnmpWalkHandleVariable()
298 scanRes [0].v6 = ( aVar->type == ASN_GAUGE ); in SnmpWalkHandleVariable()
301 scanRes [0].v7 = ( aVar->type == ASN_GAUGE ); in SnmpWalkHandleVariable()
[all …]
|