morphir
API
Generated with
morphir/org.finos.morphir

org.finos.morphir

package org.finos.morphir

Members list

Packages

package org.finos.morphir.codec
package org.finos.morphir.codecs
package org.finos.morphir.core.capabilities
package org.finos.morphir.datamodel
package org.finos.morphir.extensibility
package org.finos.morphir.functional
package org.finos.morphir.internal
package org.finos.morphir.ir
package org.finos.morphir.lang.elm
package org.finos.morphir.model
package org.finos.morphir.runtime
package org.finos.morphir.syntax
package org.finos.morphir.universe
package org.finos.morphir.util

Type members

Classlikes

abstract class =!=[A, B] extends Serializable

Attributes

Companion
object
Supertypes
trait Serializable
class Object
trait Matchable
class Any
object =!=

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
=!=.type
object Dsl extends AllSyntax

Attributes

Supertypes
trait AllSyntax
trait NamingSyntax
class Object
trait Matchable
class Any
Self type
Dsl.type
trait Dumper[-A]

Dumper is an abstraction that describes the ability to render a value of type A to some format (most likely human readable).

Dumper is an abstraction that describes the ability to render a value of type A to some format (most likely human readable).

Dumper captures this information in a structured format called a Repr, or a representation of the data. This representation can then be formatted to a target format using a Formatter. This formatter allows specification of the target format (such as a String or Json) via its nested Format type.

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object Dumper extends DumperVersionSpecific, DumperSyntax

Attributes

Companion
trait
Supertypes
trait DumperSyntax
class Object
trait Matchable
class Any
Self type
Dumper.type
trait DumperSyntax

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Dumper
object utils
trait DumperVersionSpecific

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Dumper
trait FQNameModule

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Names
object naming
Self type
trait Hints

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Impl
object Hints

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Hints.type
final case class IR(valueSpecifications: Map[FQName, Raw], valueDefinitions: Map[FQName, Typed], typeSpecifications: Map[FQName, Specification[Any]], typeConstructors: Map[FQName, TypeConstructorInfo])

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
IR
object IR

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
IR.type
object Int16 extends Subtype[Short]

Attributes

Supertypes
class Subtype[Short]
class Newtype[Short]
class NewtypeCustom[Short]
class Object
trait Matchable
class Any
Show all
Self type
Int16.type
object Int8 extends Subtype[Byte]

Attributes

Supertypes
class Subtype[Byte]
class Newtype[Byte]
class NewtypeCustom[Byte]
class Object
trait Matchable
class Any
Show all
Self type
Int8.type
final case class MBool(value: Boolean, flags: PrimitiveFlags) extends MPrimitive[Boolean]

Attributes

Companion
object
Supertypes
trait MPrimitive[Boolean]
trait MData[Boolean]
trait MValue[Boolean]
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object MBool

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
MBool.type
sealed trait MData[+A] extends MValue[A]

Attributes

Supertypes
trait MValue[A]
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Known subtypes
trait MPrimitive[A]
class MBool
class MFloat
class MInt
class MInt16
class MInt32
class MInt64
class MInt8
class MString
object MUnit
Show all
final case class MFloat(value: MorphirFloat, flags: PrimitiveFlags) extends MPrimitive[MorphirFloat]

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object MFloat

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
MFloat.type
final case class MInt(value: MorphirInt, flags: PrimitiveFlags) extends MPrimitive[MorphirInt]

Attributes

Companion
object
Supertypes
trait MData[MorphirInt]
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object MInt

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
MInt.type
final case class MInt16(value: Short, flags: PrimitiveFlags) extends MPrimitive[Short]

Attributes

Supertypes
trait MPrimitive[Short]
trait MData[Short]
trait MValue[Short]
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class MInt32(value: Int, flags: PrimitiveFlags) extends MPrimitive[Int]

Attributes

Supertypes
trait MPrimitive[Int]
trait MData[Int]
trait MValue[Int]
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class MInt64(value: Long, flags: PrimitiveFlags) extends MPrimitive[Long]

Attributes

Supertypes
trait MPrimitive[Long]
trait MData[Long]
trait MValue[Long]
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class MInt8(value: Byte, flags: PrimitiveFlags) extends MPrimitive[Byte]

Attributes

Supertypes
trait MPrimitive[Byte]
trait MData[Byte]
trait MValue[Byte]
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
sealed trait MPrimitive[+A] extends MData[A]

Attributes

Supertypes
trait MData[A]
trait MValue[A]
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Known subtypes
class MBool
class MFloat
class MInt
class MInt16
class MInt32
class MInt64
class MInt8
class MString
Show all
final case class MString(value: String, flags: PrimitiveFlags) extends MPrimitive[String]

Attributes

Companion
object
Supertypes
trait MPrimitive[String]
trait MData[String]
trait MValue[String]
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object MString

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
MString.type
case object MUnit extends MData[Unit]

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait MData[Unit]
trait MValue[Unit]
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
MUnit.type
sealed trait MValue[+A] extends Product, Serializable

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Known subtypes
trait MData[A]
trait MPrimitive[A]
class MBool
class MFloat
class MInt
class MInt16
class MInt32
class MInt64
class MInt8
class MString
object MUnit
Show all
object MValue

Attributes

Companion
trait
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
MValue.type
trait ModuleDescriptor

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Basics
object Char
object Decimal
object Dict
object List
object LocalDate
object LocalTime
object Maybe
object Result
object Set
object String
Show all
Self type
object ModuleDescriptor

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait ModuleNameModule

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Names
object naming
Self type
object MorphirFloat extends Subtype[Double]

Attributes

Supertypes
class Subtype[Double]
class Newtype[Double]
class NewtypeCustom[Double]
class Object
trait Matchable
class Any
Show all
Self type
object MorphirInt extends Subtype[SafeLong], HasFQNameInfo

Attributes

Supertypes
class Subtype[SafeLong]
class Newtype[SafeLong]
class NewtypeCustom[SafeLong]
class Object
trait Matchable
class Any
Show all
Self type
MorphirInt.type
object MorphirInt32 extends Subtype[Int]

Attributes

Supertypes
class Subtype[Int]
class Newtype[Int]
class NewtypeCustom[Int]
class Object
trait Matchable
class Any
Show all
Self type
object MorphirInt64 extends Subtype[Long]

Attributes

Supertypes
class Subtype[Long]
class Newtype[Long]
class NewtypeCustom[Long]
class Object
trait Matchable
class Any
Show all
Self type
trait MorphirTag[A]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Companion[A]
object MorphirTag

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
MorphirTag.type
trait NameModule

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Names
object naming
trait Names extends FQNameModule, ModuleNameModule, NameModule, NamespaceModule, NodeIDModule, PathModule, PackageNameModule, QualifiedModuleNameModule, QNameModule, NamingOptionsModule

Attributes

Supertypes
trait QNameModule
trait PathModule
trait NodeIDModule
trait NameModule
trait FQNameModule
class Object
trait Matchable
class Any
Show all
Known subtypes
object naming
trait NamespaceModule

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Names
object naming
Self type
trait NamingOptionsModule

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Names
object naming
Self type
trait NodeIDModule

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Names
object naming
Self type
sealed trait Not[A]

Provides implicit evidence that an instance of A is not in implicit scope.

Provides implicit evidence that an instance of A is not in implicit scope.

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object Not

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Not.type
trait PackageNameModule

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Names
object naming
Self type
trait PathModule

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Names
object naming
Self type
trait QNameModule

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Names
object naming
Self type
trait QualifiedModuleNameModule

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Names
object naming
Self type
final implicit class ZValidationOps[+W, +E, +A](self: ZValidation[W, E, A]) extends AnyVal

Attributes

Supertypes
class AnyVal
trait Matchable
class Any
object mir extends AllMiscModules, AllTypeLevelModules

Attributes

Supertypes
trait TypeOfModule
class Object
trait Matchable
class Any
Show all
Self type
mir.type
object naming extends Names

Attributes

Supertypes
trait Names
trait QNameModule
trait PathModule
trait NodeIDModule
trait NameModule
trait FQNameModule
class Object
trait Matchable
class Any
Show all
Self type
naming.type
object utils extends DumperSyntax

Attributes

Supertypes
trait DumperSyntax
class Object
trait Matchable
class Any
Self type
utils.type

Types

type MorphirFloat = Type
type MorphirInt = Type
type MorphirInt16 = Type
type MorphirInt32 = Type
type MorphirInt64 = Type
type MorphirInt8 = Type

Implicits

Implicits

final implicit def ZValidationOps[W, E, A](self: ZValidation[W, E, A]): ZValidationOps[W, E, A]
implicit val mIntIsIntegral: Integral[MInt]
implicit val mIntIsNumeric: Numeric[MInt]
Generated with