Packages

o

provingground.library

monoid$to_has_one

object monoid$to_has_one

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. monoid$to_has_one
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. lazy val value: FuncLike[Typ[Term], Func[Term, Term]]