Defines a Fact
, using the name of the val
it is assigned to as the name of the Fact
.
Defines a Fact
, using the name of the val
it is assigned to as the name of the Fact
. Note: the value of this
macro *must* be assigned to a val
, otherwise a compiler error will be raised.
the value type of the resulting Fact
.
description of the Fact
, to be passed along to the Fact
's constructor.
a SingularFact
initialized with the name of the val declaration.
Defines a Fact
, using the name of the val
it is assigned to as the name of the Fact
.
Defines a Fact
, using the name of the val
it is assigned to as the name of the Fact
. Note: the value of this
macro *must* be assigned to a val
, otherwise a compiler error will be raised.
the value type of the resulting Fact
.
a SingularFact
initialized with the name of the val declaration.
Defines a Fact
, using the name of the val
it is assigned to as the name of the Fact
.
Defines a Fact
, using the name of the val
it is assigned to as the name of the Fact
. Note: the value of this
macro *must* be assigned to a val
, otherwise a compiler error will be raised.
the value type of the resulting Fact
.
description of the Fact
, to be passed along to the Fact
's constructor.
a ListFact
initialized with the name of the val declaration.
Defines a Fact
, using the name of the val
it is assigned to as the name of the Fact
.
Defines a Fact
, using the name of the val
it is assigned to as the name of the Fact
. Note: the value of this
macro *must* be assigned to a val
, otherwise a compiler error will be raised.
the value type of the resulting Fact
.
a ListFact
initialized with the name of the val declaration.
Collects all declared Fact
s in this Glossary
and returns them mapped from their names to their definitions.
Utility base class for collecting and namespacing
Fact
s. You can extend this class, define facts in it and receive a utility collection of all facts declared in your class.