| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-exactprint-0.6.4/tests/examples/ghc80/ |
| H A D | T11067.hs | 19 type Forall (p :: k -> Constraint) = p (Skolem p) type
34 class Forall (H f g) => H1 f g constructor
|
| /dports/science/agrum/aGrUM-29e540d8169268e8fe5d5c69bc4b2b1290f12320/src/agrum/tools/multidim/aggregators/ |
| H A D | forall_tpl.h | 37 INLINE Forall< GUM_SCALAR >::Forall(Idx value) : in Forall() function
43 INLINE Forall< GUM_SCALAR >::Forall(const Forall< GUM_SCALAR >& from) : in Forall() function
|
| H A D | forall.cpp | 33 template class gum::aggregator::Forall< double >; member in gum::aggregator
|
| /dports/x11-toolkits/gtkada3/gtkada-1688bb8/src/generated/ |
| H A D | gtk-container.ads | 277 procedure Forall subprogspec
301 procedure Forall argument
|
| H A D | gtk-container.adb | 201 procedure Forall subprogram
235 procedure Forall subprogram
|
| /dports/x11-toolkits/gtkada/gtkada-2.24.4.0/src/ |
| H A D | gtk-container.adb | 110 procedure Forall subprogram
123 end Forall; argument
178 procedure Forall subprogram
192 end Forall; argument
|
| H A D | gtk-container.ads | 229 procedure Forall subprogspec
255 procedure Forall subprogspec
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/constraints-0.13/src/Data/Constraint/ |
| H A D | Forall.hs | 132 class Forall (ComposeC p f) => ForallF (p :: k2 -> Constraint) (f :: k1 -> k2) constructor
144 class Forall (R p t a) => Q (p :: k3 -> Constraint) (t :: k1 -> k2 -> k3) (a :: k1) constructor
148 class Forall (Q p t) => ForallT (p :: k4 -> Constraint) (t :: (k1 -> k2) -> k3 -> k4) constructor
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/constraints-0.12/src/Data/Constraint/ |
| H A D | Forall.hs | 132 class Forall (ComposeC p f) => ForallF (p :: k2 -> Constraint) (f :: k1 -> k2) constructor
144 class Forall (R p t a) => Q (p :: k3 -> Constraint) (t :: k1 -> k2 -> k3) (a :: k1) constructor
148 class Forall (Q p t) => ForallT (p :: k4 -> Constraint) (t :: (k1 -> k2) -> k3 -> k4) constructor
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/constraints-0.13/src/Data/Constraint/ |
| H A D | Forall.hs | 132 class Forall (ComposeC p f) => ForallF (p :: k2 -> Constraint) (f :: k1 -> k2) constructor
144 class Forall (R p t a) => Q (p :: k3 -> Constraint) (t :: k1 -> k2 -> k3) (a :: k1) constructor
148 class Forall (Q p t) => ForallT (p :: k4 -> Constraint) (t :: (k1 -> k2) -> k3 -> k4) constructor
|
| /dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/constraints-0.12/src/Data/Constraint/ |
| H A D | Forall.hs | 132 class Forall (ComposeC p f) => ForallF (p :: k2 -> Constraint) (f :: k1 -> k2) constructor
144 class Forall (R p t a) => Q (p :: k3 -> Constraint) (t :: k1 -> k2 -> k3) (a :: k1) constructor
148 class Forall (Q p t) => ForallT (p :: k4 -> Constraint) (t :: (k1 -> k2) -> k3 -> k4) constructor
|
| /dports/math/rumur/rumur-2021.09.29/librumur/include/rumur/ |
| H A D | Expr.h | 680 struct RUMUR_API_WITH_RTTI Forall : public Expr { struct
685 Forall(const Quantifier &quantifier_, const Ptr<Expr> &expr_, argument
|
| /dports/math/flopc++/FlopCpp-d4c1d98/FlopCpp/src/ |
| H A D | MP_domain.cpp | 85 void MP_domain::Forall(const Functor* op) const { in Forall() function in MP_domain
|
| /dports/math/abella/abella-2.0.7/src/ |
| H A D | metaterm.ml | 45 | Forall Constructor
|
| /dports/lang/elm/compiler-0.19.1/compiler/src/AST/ |
| H A D | Canonical.hs | 184 data Annotation = Forall FreeVars Type constructor
|
| /dports/security/sequoia/sequoia-383133f6be990237044900a4df676488bf8dd71e/cargo-crates/lalrpop-0.17.2/src/grammar/ |
| H A D | repr.rs | 66 Forall { enumerator
|
| /dports/games/abstreet/abstreet-0.2.9-49-g74aca40c0/cargo-crates/lalrpop-0.16.3/src/grammar/ |
| H A D | repr.rs | 68 Forall { enumerator
|
| /dports/net/krill/krill-0.9.4/cargo-crates/lalrpop-0.19.6/src/grammar/ |
| H A D | repr.rs | 66 Forall { enumerator
|
| /dports/math/boolector/boolector-3.2.2/src/api/python/ |
| H A D | pyboolector.pyx | 2845 def Forall(self, list params, BoolectorBVNode body): member in Boolector
|
| /dports/math/rumur/rumur-2021.09.29/librumur/src/ |
| H A D | Expr.cc | 1246 Forall::Forall(const Quantifier &quantifier_, const Ptr<Expr> &expr_, in Forall() function in rumur::Forall
|
| /dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Parser/ |
| H A D | AST.hs | 377 data Schema n = Forall [TParam n] [Prop n] (Type n) (Maybe Range) constructor
|
| /dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/TypeCheck/ |
| H A D | Type.hs | 38 data Schema = Forall { sVars :: [TParam], sProps :: [Prop], sType :: Type } constructor
|
| /dports/cad/ghdl/ghdl-1.0.0/pyGHDL/libghdl/ |
| H A D | std_names.py | 781 Forall = 972 variable in Name
|