cinch-time / 0.1.0Data/Time.cinch

Declaration source.

This sample listing contains the declarations shown in the API reference. Package implementations will appear here when real package data is connected.

module Data.Time where

3-- A nonnegative span of time.
4opaque Duration
5 

6-- A point on the monotonic clock.
7opaque Instant
8 

9-- Construct a duration from milliseconds.
10milliseconds :: Nat -> Duration
11 

12-- Read the monotonic clock.
13now :: Unit ->{Io r} Instant
14 

15-- Measure the duration between two instants.
16elapsed :: Instant -> Instant -> Duration
17 