typed-time: A strongly typed way to handle time and date formats

[ library, time ] [ Propose Tags ]

Simple type-safe wrapper for time's Data.Time.Format.

You are are to represent a sound formatting at type-level:

myInput :: FormattedTime RFC822

[Skip to Readme]
Versions [RSS] [faq] 0.1.0.0
Change log ChangeLog.md
Dependencies base (>=4.7 && <5), time (>=1.11.1.2 && <1.12) [details]
License ISC
Copyright Gautier DI FOLCO
Author Gautier DI FOLCO
Maintainer gautier.difolco@gmail.com
Category Time
Home page https://github.com/blackheaven/typed-time#readme
Bug tracker https://github.com/blackheaven/typed-time/issues
Source repo head: git clone https://github.com/blackheaven/typed-time
Uploaded by gdifolco at 2021-05-23T15:40:29Z
Distributions NixOS:0.1.0.0
Downloads 50 total (7 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2021-05-23 [all 1 reports]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates


Readme for typed-time-0.1.0.0

[back to package description]

typed-time

Simple type-safe wrapper for time's Data.Time.Format.

You are are to represent a sound formatting at type-level:

myInput :: FormattedTime 'RFC822'