com.tersesystems.blindsight.semantic
the accumulated markers, may be Markers.empty
.
Refines the statement type to the given subtype.
Refines the statement type to the given subtype.
the refined type
a semantic logger with the new type
the instance type.
a type class instance of ToMarkers
a new logger instance with the marker.
(Since version ) see corresponding Javadoc for more information.
(Since version 1.4.0) use withCondition
The semantic logger trait takes a statement as a type. Types can be refined from the general to the specific.
the type class instance of com.tersesystems.blindsight.ToStatement.