drasil-lang-0.1.60.0: A framework for code and document generation for scientific software - Language SubPackage
Safe HaskellNone
LanguageGHC2024

Language.Drasil.Data.Date

Contents

Description

Custom type for dates, in this case Month. This should, in time, be switched out in favour of a proper package designed to handle all the complexities of dates.

Synopsis

Type

data Month Source #

Custom type for months (abbreviated).

Constructors

Jan 
Feb 
Mar 
Apr 
May 
Jun 
Jul 
Aug 
Sep 
Oct 
Nov 
Dec 

Instances

Instances details
HasChunkRefs Month Source # 
Instance details

Defined in Language.Drasil.Data.Date

Methods

chunkRefs :: Month -> Set UID #

Generic Month Source # 
Instance details

Defined in Language.Drasil.Data.Date

Associated Types

type Rep Month 
Instance details

Defined in Language.Drasil.Data.Date

type Rep Month = D1 ('MetaData "Month" "Language.Drasil.Data.Date" "drasil-lang-0.1.60.0-1HMwkmtaiHpDlCGzFv9lso" 'False) (((C1 ('MetaCons "Jan" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Feb" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Mar" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Apr" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "May" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Jun" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Jul" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Aug" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Sep" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Oct" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Nov" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Dec" 'PrefixI 'False) (U1 :: Type -> Type)))))

Methods

from :: Month -> Rep Month x #

to :: Rep Month x -> Month #

Show Month Source # 
Instance details

Defined in Language.Drasil.Data.Date

Methods

showsPrec :: Int -> Month -> ShowS #

show :: Month -> String #

showList :: [Month] -> ShowS #

Eq Month Source # 
Instance details

Defined in Language.Drasil.Data.Date

Methods

(==) :: Month -> Month -> Bool #

(/=) :: Month -> Month -> Bool #

Ord Month Source # 
Instance details

Defined in Language.Drasil.Data.Date

Methods

compare :: Month -> Month -> Ordering #

(<) :: Month -> Month -> Bool #

(<=) :: Month -> Month -> Bool #

(>) :: Month -> Month -> Bool #

(>=) :: Month -> Month -> Bool #

max :: Month -> Month -> Month #

min :: Month -> Month -> Month #

type Rep Month Source # 
Instance details

Defined in Language.Drasil.Data.Date

type Rep Month = D1 ('MetaData "Month" "Language.Drasil.Data.Date" "drasil-lang-0.1.60.0-1HMwkmtaiHpDlCGzFv9lso" 'False) (((C1 ('MetaCons "Jan" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Feb" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Mar" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Apr" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "May" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Jun" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Jul" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Aug" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Sep" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Oct" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Nov" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Dec" 'PrefixI 'False) (U1 :: Type -> Type)))))