diff --git a/src/Database/IndexedDB/Core.purs b/src/Database/IndexedDB/Core.purs
index 5ee1bd9..6e26a96 100644
--- a/src/Database/IndexedDB/Core.purs
+++ b/src/Database/IndexedDB/Core.purs
@@ -1,3 +1,12 @@
+-- | The Core module gathers types used across the library and provides basic Show instances for
+-- | those types.
+-- |
+-- | NOTE:
+-- | Errors normally thrown by the IDB* interfaces are wrapped in the `Aff` Monad as `Error`
+-- | where the `message` corresponds to the error's name (e.g. "InvalidStateError").
+-- | Pattern matching can therefore be done on any error message to handle specific errors thrown
+-- | by the API.
+
 module Database.IndexedDB.Core
   ( class FromString, parse
   , IDB
@@ -22,43 +31,85 @@ import Data.Maybe                  (Maybe(..))
 
 import Database.IndexedDB.IDBKey
 
-
+-- | IDB Effects, manifestation that something happened with the IndexedDB
 foreign import data IDB :: Effect
 
 
-data CursorDirection = Next | NextUnique | Prev | PrevUnique
+-- | A cursor has a direction that determines whether it moves in monotonically
+-- | increasing or decreasing order of the record keys when iterated, and if it
+-- | skips duplicated values when iterating indexes.
+-- | The direction of a cursor also determines if the cursor initial position is at
+-- | the start of its source or at its end.
+data CursorDirection
+  = Next
+  | NextUnique
+  | Prev
+  | PrevUnique
 
 
-data CursorSource = ObjectStore ObjectStore | Index Index
+-- | If the source of a cursor is an object store, the effective object store of
+-- | the cursor is that object store and the effective key of the cursor is the
+-- | cursor’s position. If the source of a cursor is an index, the effective object
+-- | store of the cursor is that index’s referenced object store and the effective key
+-- | is the cursor’s object store position.
+data CursorSource
+  = ObjectStore ObjectStore
+  | Index Index
 
 
-data TransactionMode = ReadOnly | ReadWrite | VersionChange
+-- | A transaction has a mode that determines which types of interactions can be performed
+-- | upon that transaction. The mode is set when the transaction is created and remains
+-- | fixed for the life of the transaction.
+data TransactionMode
+  = ReadOnly        -- ^ The transaction is only allowed to read data.
+  | ReadWrite       -- ^ The transaction is allowed to read, modify and delete data from existing object stores
+  | VersionChange   -- ^ The transaction is allowed to read, modify and delete data from existing object stores, and can also create and remove object stores and indexes.
 
 
-type KeyPath   = Array String
+
+-- | A key path is a list of strings that defines how to extract a key from a value.
+-- | A valid key path is one of:
+-- |
+-- | - An empty list.
+-- | - An singleton identifier, which is a string matching the IdentifierName production from the ECMAScript Language Specification [ECMA-262].
+-- | - A singleton string consisting of two or more identifiers separated by periods (U+002E FULL STOP).
+-- | - A non-empty list containing only strings conforming to the above requirements.
+type KeyPath = Array String
 
 
+-- | Each origin has an associated set of databases. A database has zero or more object
+-- | stores which hold the data stored in the database.
 foreign import data Database :: Type
 
-
+-- | An index allows looking up records in an object store using properties of the values
+-- | in the object stores records.
 foreign import data Index :: Type
 
 
+-- | A cursor is used to iterate over a range of records in an index or an object store
+-- | in a specific direction. A KeyCursor doesn't hold any value.
 foreign import data KeyCursor :: Type
 
 
+-- | A key range is a continuous interval over some data type used for keys.
 foreign import data KeyRange :: Type
 
 
+-- | An object store is the primary storage mechanism for storing data in a database.
 foreign import data ObjectStore :: Type
 
 
+-- | A Transaction is used to interact with the data in a database.
+-- | Whenever data is read or written to the database it is done by using a transaction.
 foreign import data Transaction :: Type
 
 
+-- | A cursor is used to iterate over a range of records in an index or an object store
+-- | in a specific direction. A ValueCursor also holds the value corresponding to matching key.
 foreign import data ValueCursor :: Type
 
 
+-- | FromString represents enumerations that can be represented as Strings.
 class FromString a where
   parse :: String -> Maybe a
 
@@ -72,27 +123,37 @@ instance showValueCursor :: Show ValueCursor where
   show = _showCursor
 
 
-foreign import _showDatabase :: Database -> String
+foreign import _showDatabase
+  :: Database
+  -> String
 instance showDatabase :: Show Database where
   show = _showDatabase
 
 
-foreign import _showIndex :: Index -> String
+foreign import _showIndex
+  :: Index
+  -> String
 instance showIndex :: Show Index where
   show = _showIndex
 
 
-foreign import _showKeyRange :: KeyRange -> String
+foreign import _showKeyRange
+  :: KeyRange
+  -> String
 instance showKeyRange :: Show KeyRange where
   show = _showKeyRange
 
 
-foreign import _showObjectStore :: ObjectStore -> String
+foreign import _showObjectStore
+  :: ObjectStore
+  -> String
 instance showObjectStore :: Show ObjectStore where
   show = _showObjectStore
 
 
-foreign import _showTransaction :: Transaction -> String
+foreign import _showTransaction
+  :: Transaction
+  -> String
 instance showTransaction :: Show Transaction where
   show = _showTransaction