Mark Eibes
2021-05-31T10:46:09Z

Spassboxen.purs

| module Bla where
|
|
| newtype Sponsored = Sponsored String
|
| derive instance newtypeSponsored ∷ Newtype Sponsored _
| derive newtype instance eqSponsored ∷ Eq Sponsored
| derive newtype instance ordSponsored ∷ Ord Sponsored
|
| newtype VerifiedAccount = VerifiedAccount String
|
| newtype Verified = Verified String
|
| newtype Translations = Translations
| { adLink ∷ AdLinkLabel
| , sponsored ∷ Sponsored
| , verifiedAccount ∷ VerifiedAccount
| , verified ∷ Verified
| }
|
| derive instance newtypeTranslations ∷ Newtype Translations _
|
| sponsored_ ∷ ∀ ctx. Lens' { translations ∷ Translations | ctx } String
| sponsored_ = barlow (key ∷ _ "translations!.sponsored!")