You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
44 lines
1.5 KiB
44 lines
1.5 KiB
package green.thisfieldwas.embracingnondeterminism
|
|
|
|
/** This package contains classes that represent contexts encoding some
|
|
* measurable dimension whose quantities at runtime are unknown due to some
|
|
* nondeterministic effects. These effects impact how instances of the term
|
|
* contained within the contexts are produced.
|
|
*
|
|
* See each class for specific examples.
|
|
*/
|
|
package object data {
|
|
|
|
/** The identity context. This context has the identity of the value
|
|
* contained, and is thus the value contained. This context is always in the
|
|
* desired case as its instance is always present.
|
|
*
|
|
* @tparam A
|
|
* The type of the value.
|
|
*/
|
|
type Id[A] = A
|
|
|
|
object Id {
|
|
|
|
implicit val idFunctor: Functor[Id] = new Functor[Id] {
|
|
|
|
/** Given a structure `F[A]` and function `f: A => B`, if the structure is
|
|
* in the desired case, then apply the function such that `F[A] => F[B]`.
|
|
* If the structure `F[A]` is in the undesired case, then propagate the
|
|
* undesired case as `F[B]`.
|
|
*
|
|
* @param fa
|
|
* The instance of the structure to apply the function to.
|
|
* @param f
|
|
* The function to apply, if the structure is in the desired case.
|
|
* @tparam A
|
|
* The type of instances contained within the structure.
|
|
* @tparam B
|
|
* The type to map the instances into.
|
|
* @return
|
|
* The resulting structure.
|
|
*/
|
|
override def map[A, B](fa: Id[A])(f: A => B): Id[B] = f(fa)
|
|
}
|
|
}
|
|
}
|
|
|