DAPEntry.hs

{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE DefaultSignatures #-}

module Data.Aviation.Aip.DAPEntry(
  DAPEntry(..)
, AsDAPEntry(..)
, FoldDAPEntry(..)
, GetDAPEntry(..)
, SetDAPEntry(..)
, ManyDAPEntry(..)
, HasDAPEntry(..)
, IsDAPEntry(..)    
) where

import Control.Category(id)
import Control.Applicative(pure, (<*>))
import Control.Lens hiding ((.=))
import Data.Aeson(FromJSON(parseJSON), ToJSON(toJSON), withObject, object, (.:), (.=))
import Data.Aviation.Aip.AipDate(AipDate)
import Data.Aviation.Aip.Amendment(Amendment)
import Data.Aviation.Aip.Href(Href, SetHref, FoldHref(_FoldHref), ManyHref(_ManyHref), GetHref, HasHref(href))
import Data.Aviation.Aip.Txt(Txt)
import Data.Eq(Eq)
import Data.Function(($))
import Data.Functor(fmap, (<$>))
import Data.Ord(Ord)
import Prelude(Show)

data DAPEntry =
  DAPEntry
    Href
    Txt
    AipDate
    Amendment
  deriving (Eq, Ord, Show)

instance FromJSON DAPEntry where
  parseJSON =
    withObject "DAPEntry" $ \v ->
      DAPEntry <$>
        v .: "href" <*>
        v .: "txt" <*>
        v .: "date" <*>
        v .: "amendment"

instance ToJSON DAPEntry where
  toJSON (DAPEntry u txt date amendment) =
    object ["href" .= u, "txt" .= txt, "date" .= date, "amendment" .= amendment]

class ManyDAPEntry a => AsDAPEntry a where
  _DAPEntry ::
    Prism' a DAPEntry
  default _DAPEntry ::
    IsDAPEntry a =>
    Prism' a DAPEntry
  _DAPEntry =
    _IsDAPEntry
    
instance AsDAPEntry DAPEntry where
  _DAPEntry =
    id

class FoldDAPEntry a where
  _FoldDAPEntry ::
    Fold a DAPEntry
    
instance FoldDAPEntry DAPEntry where
  _FoldDAPEntry =
    id

class FoldDAPEntry a => GetDAPEntry a where
  _GetDAPEntry ::
    Getter a DAPEntry
  default _GetDAPEntry ::
    HasDAPEntry a =>
    Getter a DAPEntry
  _GetDAPEntry =
    dapEntry
    
instance GetDAPEntry DAPEntry where
  _GetDAPEntry =
    id

class SetDAPEntry a where
  _SetDAPEntry ::
    Setter' a DAPEntry
  default _SetDAPEntry ::
    ManyDAPEntry a =>
    Setter' a DAPEntry
  _SetDAPEntry =
    _ManyDAPEntry

instance SetDAPEntry DAPEntry where
  _SetDAPEntry =
    id

class (FoldDAPEntry a, SetDAPEntry a) => ManyDAPEntry a where
  _ManyDAPEntry ::
    Traversal' a DAPEntry

instance ManyDAPEntry DAPEntry where
  _ManyDAPEntry =
    id

class (GetDAPEntry a, ManyDAPEntry a) => HasDAPEntry a where
  dapEntry ::
    Lens' a DAPEntry
  default dapEntry ::
    IsDAPEntry a =>
    Lens' a DAPEntry
  dapEntry =
    _IsDAPEntry

instance HasDAPEntry DAPEntry where
  dapEntry =
    id

class (HasDAPEntry a, AsDAPEntry a) => IsDAPEntry a where
  _IsDAPEntry ::
    Iso' a DAPEntry
    
instance IsDAPEntry DAPEntry where
  _IsDAPEntry =
    id

instance SetDAPEntry () where
instance FoldDAPEntry () where
  _FoldDAPEntry =
    _ManyDAPEntry
instance ManyDAPEntry () where
  _ManyDAPEntry _ x =
    pure x

instance SetHref DAPEntry where
instance FoldHref DAPEntry where
  _FoldHref =
    _ManyHref

instance ManyHref DAPEntry where
  _ManyHref f (DAPEntry u txt date amendment) =
    DAPEntry <$> f u <*> pure txt <*> pure date <*> pure amendment

instance GetHref DAPEntry where
instance HasHref DAPEntry where
  href f (DAPEntry u txt date amendment) =
    fmap (\u' -> DAPEntry u' txt date amendment) (f u)