Data.Aviation.Aip.Title

Documentation

newtype Title

Constructors

Title String

Instances

Eq Title

Defined in Data.Aviation.Aip.Title

Methods

(==) :: Title -> Title -> Bool

(/=) :: Title -> Title -> Bool

Ord Title

Defined in Data.Aviation.Aip.Title

Methods

compare :: Title -> Title -> Ordering

(<) :: Title -> Title -> Bool

(<=) :: Title -> Title -> Bool

(>) :: Title -> Title -> Bool

(>=) :: Title -> Title -> Bool

max :: Title -> Title -> Title

min :: Title -> Title -> Title

Show Title

Defined in Data.Aviation.Aip.Title

Methods

showsPrec :: Int -> Title -> ShowS

show :: Title -> String

showList :: [Title] -> ShowS

Semigroup Title

Defined in Data.Aviation.Aip.Title

Methods

(<>) :: Title -> Title -> Title

sconcat :: NonEmpty Title -> Title

stimes :: Integral b => b -> Title -> Title

Monoid Title

Defined in Data.Aviation.Aip.Title

Methods

mempty :: Title

mappend :: Title -> Title -> Title

mconcat :: [Title] -> Title

ToJSON Title

Defined in Data.Aviation.Aip.Title

Methods

toJSON :: Title -> Value

toEncoding :: Title -> Encoding

toJSONList :: [Title] -> Value

toEncodingList :: [Title] -> Encoding

FromJSON Title

Defined in Data.Aviation.Aip.Title

Methods

parseJSON :: Value -> Parser Title

parseJSONList :: Value -> Parser [Title]

Ixed Title

Defined in Data.Aviation.Aip.Title

Methods

ix :: Index Title -> Traversal' Title (IxValue Title)

Plated Title

Defined in Data.Aviation.Aip.Title

Methods

plate :: Traversal' Title Title

Wrapped Title

Defined in Data.Aviation.Aip.Title

Associated Types

type Unwrapped Title :: *

Methods

_Wrapped' :: Iso' Title (Unwrapped Title)

Reversing Title

Defined in Data.Aviation.Aip.Title

Methods

reversing :: Title -> Title

IsTitle Title

Defined in Data.Aviation.Aip.Title

Methods

_IsTitle :: Iso' Title Title

HasTitle Title

Defined in Data.Aviation.Aip.Title

Methods

title :: Lens' Title Title

ManyTitle Title

Defined in Data.Aviation.Aip.Title

Methods

_ManyTitle :: Traversal' Title Title

SetTitle Title

Defined in Data.Aviation.Aip.Title

Methods

_SetTitle :: Setter' Title Title

GetTitle Title

Defined in Data.Aviation.Aip.Title

Methods

_GetTitle :: Getter Title Title

FoldTitle Title

Defined in Data.Aviation.Aip.Title

Methods

_FoldTitle :: Fold Title Title

AsTitle Title

Defined in Data.Aviation.Aip.Title

Methods

_Title :: Prism' Title Title

Title ~ a => Rewrapped Title a

Defined in Data.Aviation.Aip.Title

Each Title Title Char Char

Defined in Data.Aviation.Aip.Title

Methods

each :: Traversal Title Title Char Char

Cons Title Title Char Char

Defined in Data.Aviation.Aip.Title

Methods

_Cons :: Prism Title Title (Char, Title) (Char, Title)

Snoc Title Title Char Char

Defined in Data.Aviation.Aip.Title

Methods

_Snoc :: Prism Title Title (Title, Char) (Title, Char)

type Index Title

Defined in Data.Aviation.Aip.Title

type Index Title = Int

type IxValue Title

Defined in Data.Aviation.Aip.Title

type IxValue Title = Char

type Unwrapped Title

Defined in Data.Aviation.Aip.Title

type Unwrapped Title = String

class ManyTitle a => AsTitle a where

Methods

_Title :: Prism' a Title

_Title :: IsTitle a => Prism' a Title

Instances

AsTitle String

Defined in Data.Aviation.Aip.Title

Methods

_Title :: Prism' String Title

AsTitle Title

Defined in Data.Aviation.Aip.Title

Methods

_Title :: Prism' Title Title

class FoldTitle a where

Minimal complete definition

_FoldTitle

Methods

_FoldTitle :: Fold a Title

Instances

FoldTitle ()

Defined in Data.Aviation.Aip.Title

Methods

_FoldTitle :: Fold () Title

FoldTitle String

Defined in Data.Aviation.Aip.Title

Methods

_FoldTitle :: Fold String Title

FoldTitle Title

Defined in Data.Aviation.Aip.Title

Methods

_FoldTitle :: Fold Title Title

class FoldTitle a => GetTitle a where

Methods

_GetTitle :: Getter a Title

_GetTitle :: HasTitle a => Getter a Title

Instances

GetTitle String

Defined in Data.Aviation.Aip.Title

Methods

_GetTitle :: Getter String Title

GetTitle Title

Defined in Data.Aviation.Aip.Title

Methods

_GetTitle :: Getter Title Title

class SetTitle a where

Methods

_SetTitle :: Setter' a Title

_SetTitle :: ManyTitle a => Setter' a Title

Instances

SetTitle ()

Defined in Data.Aviation.Aip.Title

Methods

_SetTitle :: Setter' () Title

SetTitle String

Defined in Data.Aviation.Aip.Title

Methods

_SetTitle :: Setter' String Title

SetTitle Title

Defined in Data.Aviation.Aip.Title

Methods

_SetTitle :: Setter' Title Title

class (FoldTitle a, SetTitle a) => ManyTitle a where

Minimal complete definition

_ManyTitle

Methods

_ManyTitle :: Traversal' a Title

Instances

ManyTitle ()

Defined in Data.Aviation.Aip.Title

Methods

_ManyTitle :: Traversal' () Title

ManyTitle String

Defined in Data.Aviation.Aip.Title

Methods

_ManyTitle :: Traversal' String Title

ManyTitle Title

Defined in Data.Aviation.Aip.Title

Methods

_ManyTitle :: Traversal' Title Title

class (GetTitle a, ManyTitle a) => HasTitle a where

Methods

title :: Lens' a Title

title :: IsTitle a => Lens' a Title

Instances

HasTitle String

Defined in Data.Aviation.Aip.Title

Methods

title :: Lens' String Title

HasTitle Title

Defined in Data.Aviation.Aip.Title

Methods

title :: Lens' Title Title

class (HasTitle a, AsTitle a) => IsTitle a where

Minimal complete definition

_IsTitle

Methods

_IsTitle :: Iso' a Title

Instances

IsTitle String

Defined in Data.Aviation.Aip.Title

Methods

_IsTitle :: Iso' String Title

IsTitle Title

Defined in Data.Aviation.Aip.Title

Methods

_IsTitle :: Iso' Title Title