dormouse-uri-0.1.0.0: src/Dormouse/Url/Class.hs

{-# LANGUAGE GADTs #-}

module Dormouse.Url.Class 
  ( IsUrl(..)
  ) where

import Dormouse.Url.Types

class (Eq url, Show url) => IsUrl url where
  asAnyUrl :: url -> AnyUrl

instance IsUrl (Url scheme) where
  asAnyUrl = AnyUrl

instance IsUrl AnyUrl where
  asAnyUrl (AnyUrl u) = asAnyUrl u