tests/Examples/Ex01.hs

   1 {-# LANGUAGE DeriveGeneric #-}
   2 {-# LANGUAGE NoMonomorphismRestriction #-}
   3 {-# OPTIONS_GHC -Wno-missing-signatures #-}
   4
   5 module Examples.Ex01 where
   6
   7 import Network.URI.Slug as URI
   8 import Relude
   9 import Symantic.Classes (ProductFunctor (..), SumFunctor (..), adt)
  10
  11 import Webc
  12
  13 -- | A convenient data-type to avoid using 'Either's and Tuples.
  14 data Site
  15   = Index
  16   | About
  17   | Contact URI.Slug
  18   deriving (Eq, Show, Generic)
  19
  20 {- | Polymorphic expression describing the website,
  21 to be instantiated to the various interpreters.
  22 NoMonomorphismRestriction is used to avoid specifying manually
  23 the inferred symantic classes.
  24 -}
  25 site =
  26   -- site :: IsoFunctor repr => SumFunctor repr => Slugable repr => repr Site
  27   -- Using Generic, 'adt' derives (Iso{a2b, b2a} <%>)
  28   -- from the 'Site' algebraic data-type.
  29   adt @Site $
  30     literalSlug "index.html"
  31       <+> literalSlug "about.html"
  32       <+> captureSlug "user" <. literalSlug "contact.html"