servant-effectful-1.0.0: src/Effectful/Servant/API.hs

{-# OPTIONS_GHC -Wno-unused-imports #-}

module Effectful.Servant.API
    ( module Effectful.Servant.API
    , module Servant.API
    )
where

import Data.Kind (Type)
import Effectful qualified
import Servant.API hiding ((:>))
import Servant.API qualified as Servant

-- | Convenience alias to disambiguate Servant's 'Servant.:>' from Effectful's 'Effectful.:>'.
type (path :: k) :/ (a :: Type) = path Servant.:> a

infixr 4 :/