object LogTreeSyntaxWithoutAnnotations extends LogTreeSyntax[Nothing]
- Alphabetic
- By Inheritance
- LogTreeSyntaxWithoutAnnotations
- LogTreeSyntax
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
-
implicit
class
AnnotationsSyntax[V] extends AnyRef
Syntax for allowing annotations to be added to log tree nodes.
Syntax for allowing annotations to be added to log tree nodes.
The best way to see how this syntax works is to take a look at the annotations example on GitHub.
Here is a short example:
import scalaz.syntax.show._ val syntax = new LogTreeSyntax[String] {} import syntax._ val result = 1 ~> "One" ~~ Set("Annotating with a string", "And another") println(result.run.value) // Will print: \/-(1) - note that the 'right' means ''success'' println(result.run.written.shows) // Will print: // One - [Annotating with a string, And another]
- Definition Classes
- LogTreeSyntax
-
implicit
class
BooleanSyntax extends AnyRef
Syntax for treating booleans as indicators of success or failure in a computation.
Syntax for treating booleans as indicators of success or failure in a computation.
The simplest usage is something like:
myBoolean ~>? "Is my boolean true?"
. The 'value' and log tree of the returned treelog.LogTreeSyntax.DescribedComputation will indicate success or failure depending on the value ofmyBoolean
.- Definition Classes
- LogTreeSyntax
-
implicit
class
BranchLabelingSyntax extends AnyRef
Syntax for labeling or creating new branches in a log tree given a description.
Syntax for labeling or creating new branches in a log tree given a description.
- Definition Classes
- LogTreeSyntax
-
implicit
class
EitherSyntax[V] extends AnyRef
Syntax for treating
scalaz.\/
as signifiers of success or failure in a computation.Syntax for treating
scalaz.\/
as signifiers of success or failure in a computation.The simplest usage is something like:
myEither ~>? "Do I have the right?"
. The 'value' and log tree of the returned treelog.LogTreeSyntax.DescribedComputation will indicate success or failure depending on the value ofmyEither
.- Definition Classes
- LogTreeSyntax
-
implicit
class
FoldSyntax[V] extends AnyRef
- Definition Classes
- LogTreeSyntax
-
implicit
class
LabellingSyntax[V] extends AnyRef
Syntax for labeling root nodes of trees in
DescribedComputions
Syntax for labeling root nodes of trees in
DescribedComputions
- Definition Classes
- LogTreeSyntax
-
implicit
class
LeafSyntax[V] extends AnyRef
Syntax for lifting values into
DescribedComputations
and creating leaf nodes in the log tree.Syntax for lifting values into
DescribedComputations
and creating leaf nodes in the log tree.- Definition Classes
- LogTreeSyntax
-
implicit
class
OptionSyntax[V] extends AnyRef
Syntax for treating
Options
as indicators of success or failure in a computation.Syntax for treating
Options
as indicators of success or failure in a computation.The simplest usage is something like:
myOption ~>? "Do I have Some?"
. The 'value' and log tree of the returned treelog.LogTreeSyntax.DescribedComputation will indicate success or failure depending on the value ofmyOption
.- Definition Classes
- LogTreeSyntax
-
implicit
class
TraversableMonadSyntax[F[_], V] extends AnyRef
Syntax for dealing with traversable monads
Syntax for dealing with traversable monads
- Definition Classes
- LogTreeSyntax
-
type
DescribedComputation[V] = EitherT[LogTreeWriter, String, V]
- Definition Classes
- LogTreeSyntax
-
case class
DescribedComputationT[F[_], A](run: F[LogTreeSyntaxWithoutAnnotations.DescribedComputation[A]]) extends Product with Serializable
Represents a computation of type
F[DescribedCompution[A]]
.Represents a computation of type
F[DescribedCompution[A]]
.Example:
val x: Option[DescribedComputation[Int]] = Some(1 ~> "1") val y: Option[DescribedComputation[Int]] = Some(2 ~> "1") val z: Option[DescribedComputation[Int]] = (for { one <- DescribedComputationT(x) two <- DescribedComputationT(y) res <- DescribedComputationT(Some((one + two) ~> ("1 + 2 =" + _)) } yield res).run
-
type
LogTree = Tree[LogTreeLabel[Nothing]]
- Definition Classes
- LogTreeSyntax
-
type
LogTreeWriter[V] = WriterT[Id, LogTree, V]
- Definition Classes
- LogTreeSyntax
-
type
SerializableDescribedComputation[V] = (Either[String, V], SerializableTree[Nothing])
- Definition Classes
- LogTreeSyntax
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native() @IntrinsicCandidate()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
failure[V](description: String): DescribedComputation[V]
Create a treelog.LogTreeSyntax.DescribedComputation representing a failure using the given
description
for both the log tree label and as the content of thevalue
, which will be a Left.Create a treelog.LogTreeSyntax.DescribedComputation representing a failure using the given
description
for both the log tree label and as the content of thevalue
, which will be a Left.- Definition Classes
- LogTreeSyntax
-
def
failureLog[V](dc: DescribedComputation[V]): DescribedComputation[V]
- Definition Classes
- LogTreeSyntax
-
def
fromSerializableForm[V](sdc: SerializableDescribedComputation[V]): DescribedComputation[V]
- Definition Classes
- LogTreeSyntax
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
implicit
val
logTreeMonoid: Monoid[LogTree]
- Definition Classes
- LogTreeSyntax
-
implicit
def
logTreeShow(implicit annotationShow: Show[Nothing]): Show[LogTree]
- Definition Classes
- LogTreeSyntax
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
-
def
success[V](value: V): DescribedComputation[V]
Create a treelog.LogTreeSyntax.DescribedComputation representing a success with the given
value
(lifted into a Right) and no description.Create a treelog.LogTreeSyntax.DescribedComputation representing a success with the given
value
(lifted into a Right) and no description.- Definition Classes
- LogTreeSyntax
-
def
success[V](value: V, description: String): DescribedComputation[V]
Create a treelog.LogTreeSyntax.DescribedComputation representing a success with the given
value
(lifted into a Right) and the givendescription
in the log tree.Create a treelog.LogTreeSyntax.DescribedComputation representing a success with the given
value
(lifted into a Right) and the givendescription
in the log tree.- Definition Classes
- LogTreeSyntax
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toSerializableForm[V](dc: DescribedComputation[V]): SerializableDescribedComputation[V]
- Definition Classes
- LogTreeSyntax
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
- implicit object NothingShow extends Show[Nothing]
Deprecated Value Members
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] ) @Deprecated
- Deprecated