datomisca

Type Members

1. abstract class AbstractQuery extends AnyRef

   

   A wrapper for a Datalog query represented as a Clojure map.

2. class AddDbFunction extends TxData with KeywordIdentified

   

3. final class AddEntity extends PartialAddEntity with TxData with TempIdentified

   

4. final class AddFact extends TxData with TempIdentified

   

5. final case class AddIdent(ident: Keyword, partition: Partition = Partition.USER) extends TxData with KeywordIdentified with Product with Serializable

   

6. sealed trait AsDatomicRef[T] extends AnyRef

   

   A type class for types that can be used as reference values.

   A type class for types that can be used as reference values.

   T

   the type of values to use as a reference value.

   Annotations

   @implicitNotFound( ... )

7. sealed trait AsEntityId[T] extends AnyRef

   

   A conversion type class for entity ids.

   A conversion type class for entity ids.

   A type class for converting the various types that can be treated as temporary or permanent ids for entities.

   T

   the type of the id to convert.

   Annotations

   @implicitNotFound( ... )

8. sealed trait AsPermanentEntityId[T] extends AnyRef

   

   A conversion type class for permanent entity ids.

   A conversion type class for permanent entity ids.

   A type class for converting from the various types that can be used as permanent entity ids.

   T

   the type of the id to convert.

   Annotations

   @implicitNotFound( ... )

9. sealed trait AsPointT[T] extends AnyRef

   

   A conversion type class for point in time values.

   A conversion type class for point in time values.

   A type class for converting from various point in time values. Basis T values as Long, transaction entity ids as Long, and transaction time stamps as java.util.Date.

   T

   the type of the point in time.

   Annotations

   @implicitNotFound( ... )

10. final case class Attribute[DD, Card <: Cardinality](ident: Keyword, valueType: SchemaType[DD], cardinality: Card, doc: Option[String] = None, unique: Option[Unique] = None, index: Option[Boolean] = None, fulltext: Option[Boolean] = None, isComponent: Option[Boolean] = None, noHistory: Option[Boolean] = None) extends TxData with KeywordIdentified with Product with Serializable

    

    The representation of Datomic attributes

11. trait Attribute2EntityReaderCast[DD <: AnyRef, Card <: Cardinality, T] extends AnyRef

    

    A type class to convert an Attribute into an EntityReader.

    A type class to convert an Attribute into an EntityReader.

    This type class will determine if it is safe to cast to type T given a Datomic type DD and cardinality Card.

    DD

    the Datomic value type of the attribute (see SchemaType).

    Card

    the cardinality of the attribute (see Cardinality).

    T

    the Scala type that the EntityReader will read.

    Annotations

    @implicitNotFound( ... )

12. sealed trait Attribute2EntityReaderInj[DD <: AnyRef, Card <: Cardinality, T] extends AnyRef

    

    A type class to convert an Attribute into an EntityReader.

    A type class to convert an Attribute into an EntityReader.

    This type class will determine a unique type T given a Datomic type DD and cardinality Card.

    DD

    the Datomic value type of the attribute (see SchemaType).

    Card

    the cardinality of the attribute (see Cardinality).

    T

    the Scala type that the EntityReader will read.

    Annotations

    @implicitNotFound( ... )

13. trait Attribute2FactWriter[DD <: AnyRef, Card <: Cardinality, T] extends AnyRef

    

    A type class to convert an Attribute and a Scala value into a pair of a Keyword and a Datomic value.

    A type class to convert an Attribute and a Scala value into a pair of a Keyword and a Datomic value.

    DD

    the Datomic value type of the attribute (see SchemaType).

    Card

    the cardinality of the attribute (see Cardinality).

    T

    the Scala type that the EntityReader will read.

    Annotations

    @implicitNotFound( ... )

14. trait Attribute2PartialAddEntityWriter[DD <: AnyRef, Card <: Cardinality, T] extends AnyRef

    

    A type class to convert an Attribute into a PartialAddEntityWriter.

    A type class to convert an Attribute into a PartialAddEntityWriter.

    This type class will determine if it is safe to use type T as a valid value for an attribute with value type DD and cardinality Card.

    DD

    the Datomic value type of the attribute (see SchemaType).

    Card

    the cardinality of the attribute (see Cardinality).

    T

    the Scala type that the PartialAddEntityWriter will write.

    Annotations

    @implicitNotFound( ... )

15. sealed trait Cardinality extends AnyRef

    

16. final class Connection extends AnyVal

    

17. sealed trait DId extends Any

    

18. sealed trait DWrapper extends Any

    

19. final class Database extends AnyVal

    

20. final class Datom extends AnyVal

    

21. class DatomiscaException extends RuntimeException

    

22. final class Entity extends AnyVal

    

23. class EntityKeyNotFoundException extends DatomiscaException

    

24. sealed trait EntityMapper[A] extends AnyRef

    

25. class EntityMappingException extends DatomiscaException

    

26. trait EntityReader[A] extends EntityMapper[A]

    

    Annotations

    @implicitNotFound( ... )

27. final class FinalId extends AnyVal with DId

    

28. trait FinalIdentified extends AnyRef

    

29. trait FromDatomic[DD <: AnyRef, A] extends AnyRef

    

    Surjective for DatomicData to Scala converter : - n DD => 1 Scala type

    Surjective for DatomicData to Scala converter : - n DD => 1 Scala type

    Annotations

    @implicitNotFound( ... )

30. trait FromDatomicCast[A] extends AnyRef

    

    Generic DatomicData to Scala type Multi-valued "function" (not real function actually) which inverse is surjective ToDatomic or ToDatomicCast 1 DatomicData -> n Scala type

    Generic DatomicData to Scala type Multi-valued "function" (not real function actually) which inverse is surjective ToDatomic or ToDatomicCast 1 DatomicData -> n Scala type

    Annotations

    @implicitNotFound( ... )

31. trait FromDatomicCastImplicits extends AnyRef

    

    FromDatomicCast fixes the source type of FromDatomic as DatomicData Trivially, is a multi-valued function from DatomicData => T

32. trait FromDatomicImplicits extends AnyRef

    

    A multi-valued function, or relation, from DD => T, So the type T is no longer uniquely determined by DD.

    A multi-valued function, or relation, from DD => T, So the type T is no longer uniquely determined by DD. For example, DLong maps to DLong, Long, Int, Short, Char, and Byte.

33. sealed trait FromDatomicInj[DD <: AnyRef, A] extends AnyRef

    

    Injective form of DatomicData to Scala converter : - 1 DD => 1 Scala type - used when precise type inference by compiler

    Injective form of DatomicData to Scala converter : - 1 DD => 1 Scala type - used when precise type inference by compiler

    Annotations

    @implicitNotFound( ... )

34. final case class IdView[T](t: T, id: Long) extends Product with Serializable

    

35. class InvokeTxFunction extends TxData

    

36. type Keyword = clojure.lang.Keyword

    

37. trait KeywordIdentified extends AnyRef

    

38. class Log extends AnyRef

    

    Datomic's database log is a recording of all transaction data in historic order, organized for efficient access by transaction.

    Datomic's database log is a recording of all transaction data in historic order, organized for efficient access by transaction.

    See also

    Log API

39. final class LookupRef extends AnyVal with DId

    

40. case class Namespace(name: String) extends Product with Serializable

    

41. class PartialAddEntity extends AnyRef

    

42. trait PartialAddEntityWriter[A] extends EntityMapper[A]

    

    Annotations

    @implicitNotFound( ... )

43. final class Partition extends AnyVal

    

44. class QueryException extends DatomiscaException

    

45. class QueryProcessingException extends DatomiscaException

    

46. final class QueryRules extends AnyVal

    

    A wrapper for Datalog rules represented as a Clojure vector.

47. final class RetractEntity extends TxData with FinalIdentified

    

48. final class RetractFact extends TxData with FinalIdentified

    

49. implicit final class RichAttribute[DD <: AnyRef, Card <: Cardinality] extends AnyVal

    

50. implicit class RichEntity extends AnyRef

    

51. sealed trait SchemaType[DD] extends AnyRef

    

52. final class TempId extends AnyVal with DId

    

53. trait TempIdentified extends AnyRef

    

54. class TempidNotResolved extends DatomiscaException

    

55. trait ToDatomic[DD <: AnyRef, A] extends AnyRef

    

    Surjective form of Scala to Specific DatomicData converters n Scala type => 1 DD

    Surjective form of Scala to Specific DatomicData converters n Scala type => 1 DD

    Annotations

    @implicitNotFound( ... )

56. trait ToDatomicCast[A] extends AnyRef

    

    Scala type to Generic DatomicData (surjective) n Scala type -> DatomicData

    Scala type to Generic DatomicData (surjective) n Scala type -> DatomicData

    Annotations

    @implicitNotFound( ... )

57. trait ToDatomicCastImplicits extends AnyRef

    

    ToDatomicCast fixes the return type of ToDatomic as DatomicData

58. trait ToDatomicImplicits extends AnyRef

    

    ToDatomic extends ToDatomicInj by widening the domain and also destroying the injectivity property (both Long and Int map to DLong) But it is still a function (unlike FromDatomic)

59. sealed trait ToDatomicInj[DD <: AnyRef, A] extends AnyRef

    

    Injective form of Scala to Specific DatomicData converters 1 Scala type => 1 DD

    Injective form of Scala to Specific DatomicData converters 1 Scala type => 1 DD

    Annotations

    @implicitNotFound( ... )

60. trait ToDatomicInjImplicits extends AnyRef

    

    Think of ToDatomicInj[DD, T] as a type-level function: T => DD The implicits here construct a multi-parameter type class, and there is a functional dependency from T to DD: T uniquely determines DD.

    Think of ToDatomicInj[DD, T] as a type-level function: T => DD The implicits here construct a multi-parameter type class, and there is a functional dependency from T to DD: T uniquely determines DD. In fact, this is an injective function, as there is at most one ToDatomicInj for any Scala type, and each map to distinct DatomicData subtypes. As a consequence, its inverse is a partial function.

61. trait TxData extends AnyRef

    

62. class TxReport extends AnyRef

    

63. final class TxReportQueue extends AnyVal

    

    The data queue associated with a connection.

    The data queue associated with a connection.

    At any point in time either zero or one queue is associated with a connection.

    This queue may be safely consumed from more than one thread. Note that the queue does not block producers, and will consume memory until you consume the elements from it.

    Reports will be added to the queue at some point after the database has been updated. If the associated connection originated the transaction, the transaction future will be notified first, before a report is placed on this queue.

    See also

    datomic.Connection.txReportQueue()

64. abstract class TypedAddDbFunction extends TxData with KeywordIdentified

    

65. sealed trait Unique extends AnyRef

    

66. class UnresolvedLookupRefException extends DatomiscaException

    

67. class UnsupportedDatomicTypeException extends DatomiscaException