{-# LANGUAGE DataKinds      #-}
# LANGUAGE KindSignatures #
{-# LANGUAGE TypeOperators  #-}

module Antiope.Messages.Via where

import qualified Antiope.Messages.Types as T
import qualified Data.Kind              as K
import qualified GHC.TypeLits           as TL

type (/) (s :: TL.Symbol) (k :: K.Type) = T.With s k
infixr 2 /

type (//) (s :: TL.Symbol) (k :: K.Type) = T.WithEncoded s k
infixr 2 //

# LANGUAGE DataKinds      #
# LANGUAGE TypeOperators  #
# LANGUAGE KindSignatures #

module Antiope.Messages.Via where

import qualified Antiope.Messages.Types as T
import qualified Data.Kind              as K
import qualified GHC.TypeLits           as TL

type (/) (s :: TL.Symbol) (k :: K.Type) = T.With s k
infixr 2 /

type (//) (s :: TL.Symbol) (k :: K.Type) = T.WithEncoded s k
infixr 2 //
