Safe Haskell	None
Language	Haskell2010

Data.Aviation.Aip.AipDate

Documentation

newtype AipDate Source #

Constructors

AipDate String

Instances

Eq AipDate Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods (==) :: AipDate -> AipDate -> Bool # (/=) :: AipDate -> AipDate -> Bool #
Ord AipDate Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods compare :: AipDate -> AipDate -> Ordering # (<) :: AipDate -> AipDate -> Bool # (<=) :: AipDate -> AipDate -> Bool # (>) :: AipDate -> AipDate -> Bool # (>=) :: AipDate -> AipDate -> Bool # max :: AipDate -> AipDate -> AipDate # min :: AipDate -> AipDate -> AipDate #
Show AipDate Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods showsPrec :: Int -> AipDate -> ShowS # show :: AipDate -> String # showList :: [AipDate] -> ShowS #
Semigroup AipDate Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods (<>) :: AipDate -> AipDate -> AipDate # sconcat :: NonEmpty AipDate -> AipDate # stimes :: Integral b => b -> AipDate -> AipDate #
Monoid AipDate Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods mempty :: AipDate # mappend :: AipDate -> AipDate -> AipDate # mconcat :: [AipDate] -> AipDate #
ToJSON AipDate Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods toJSON :: AipDate -> Value # toEncoding :: AipDate -> Encoding # toJSONList :: [AipDate] -> Value # toEncodingList :: [AipDate] -> Encoding #
FromJSON AipDate Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods parseJSON :: Value -> Parser AipDate # parseJSONList :: Value -> Parser [AipDate] #
Ixed AipDate Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods ix :: Index AipDate -> Traversal' AipDate (IxValue AipDate) #
Plated AipDate Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods plate :: Traversal' AipDate AipDate #
Wrapped AipDate Source #
Instance details Defined in Data.Aviation.Aip.AipDate Associated Types type Unwrapped AipDate :: * # Methods _Wrapped' :: Iso' AipDate (Unwrapped AipDate) #
Reversing AipDate Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods reversing :: AipDate -> AipDate #
IsAipDate AipDate Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods _IsAipDate :: Iso' AipDate AipDate Source #
HasAipDate AipDate Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods aipDate :: Lens' AipDate AipDate Source #
ManyAipDate AipDate Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods _ManyAipDate :: Traversal' AipDate AipDate Source #
SetAipDate AipDate Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods _SetAipDate :: Setter' AipDate AipDate Source #
GetAipDate AipDate Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods _GetAipDate :: Getter AipDate AipDate Source #
FoldAipDate AipDate Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods _FoldAipDate :: Fold AipDate AipDate Source #
AsAipDate AipDate Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods _AipDate :: Prism' AipDate AipDate Source #
AipDate ~ a => Rewrapped AipDate a Source #
Instance details Defined in Data.Aviation.Aip.AipDate
Each AipDate AipDate Char Char Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods each :: Traversal AipDate AipDate Char Char #
Cons AipDate AipDate Char Char Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods _Cons :: Prism AipDate AipDate (Char, AipDate) (Char, AipDate) #
Snoc AipDate AipDate Char Char Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods _Snoc :: Prism AipDate AipDate (AipDate, Char) (AipDate, Char) #
type Index AipDate Source #
Instance details Defined in Data.Aviation.Aip.AipDate type Index AipDate = Int
type IxValue AipDate Source #
Instance details Defined in Data.Aviation.Aip.AipDate type IxValue AipDate = Char
type Unwrapped AipDate Source #
Instance details Defined in Data.Aviation.Aip.AipDate type Unwrapped AipDate = String

class ManyAipDate a => AsAipDate a where Source #

Methods

_AipDate :: Prism' a AipDate Source #

_AipDate :: IsAipDate a => Prism' a AipDate Source #

Instances

AsAipDate String Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods _AipDate :: Prism' String AipDate Source #
AsAipDate AipDate Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods _AipDate :: Prism' AipDate AipDate Source #

class FoldAipDate a where Source #

Minimal complete definition

_FoldAipDate

Methods

_FoldAipDate :: Fold a AipDate Source #

Instances

FoldAipDate String Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods _FoldAipDate :: Fold String AipDate Source #
FoldAipDate AipDate Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods _FoldAipDate :: Fold AipDate AipDate Source #

class FoldAipDate a => GetAipDate a where Source #

Methods

_GetAipDate :: Getter a AipDate Source #

_GetAipDate :: HasAipDate a => Getter a AipDate Source #

Instances

GetAipDate String Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods _GetAipDate :: Getter String AipDate Source #
GetAipDate AipDate Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods _GetAipDate :: Getter AipDate AipDate Source #

class SetAipDate a where Source #

Methods

_SetAipDate :: Setter' a AipDate Source #

_SetAipDate :: ManyAipDate a => Setter' a AipDate Source #

Instances

SetAipDate String Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods _SetAipDate :: Setter' String AipDate Source #
SetAipDate AipDate Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods _SetAipDate :: Setter' AipDate AipDate Source #

class (FoldAipDate a, SetAipDate a) => ManyAipDate a where Source #

Minimal complete definition

_ManyAipDate

Methods

_ManyAipDate :: Traversal' a AipDate Source #

Instances

ManyAipDate String Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods _ManyAipDate :: Traversal' String AipDate Source #
ManyAipDate AipDate Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods _ManyAipDate :: Traversal' AipDate AipDate Source #

class (GetAipDate a, ManyAipDate a) => HasAipDate a where Source #

Methods

aipDate :: Lens' a AipDate Source #

aipDate :: IsAipDate a => Lens' a AipDate Source #

Instances

HasAipDate String Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods aipDate :: Lens' String AipDate Source #
HasAipDate AipDate Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods aipDate :: Lens' AipDate AipDate Source #

class (HasAipDate a, AsAipDate a) => IsAipDate a where Source #

Minimal complete definition

_IsAipDate

Methods

_IsAipDate :: Iso' a AipDate Source #

Instances

IsAipDate String Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods _IsAipDate :: Iso' String AipDate Source #
IsAipDate AipDate Source #
Instance details Defined in Data.Aviation.Aip.AipDate Methods _IsAipDate :: Iso' AipDate AipDate Source #