trait SproutRefinedSub[O, E] extends Burry[O] with TagSubType[O]
- Source
- SproutRefinedSub.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- SproutRefinedSub
- TagSubType
- Burry
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
-
type
Original = O
- Definition Classes
- Burry
-
final
type
Tag = SproutRefinedSub.this.type
- Definition Classes
- TagSubType
-
final
type
Type = O with Tagged[Tag]
- Definition Classes
- TagSubType
Abstract Value Members
-
abstract
def
refine[F[_]](o: O)(implicit m: MonadError[F, E]): F[O]
By defining this method, you basically refine the underlying type.
By defining this method, you basically refine the underlying type. Then you can use the apply, and newType methods to lift
Concrete 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 apply[F[_]](o: O)(implicit m: MonadError[F, E]): F[Type]
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
newType[F[_]](o: O)(implicit m: MonadError[F, E]): F[Type]
- Annotations
- @inline()
- implicit def newTypeInstance: RefinedType[O, Type, E]
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
oldType(n: Type): O
- Definition Classes
- Burry
- Annotations
- @inline()
-
def
symbolicName: String
Used for better error messages, and certain integrations.
Used for better error messages, and certain integrations.
- Definition Classes
- Burry
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
tagOld(v: O): Type
- Attributes
- protected
- Definition Classes
- TagSubType
- Annotations
- @inline()
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()