{-# LANGUAGE DataKinds #-} module Admin.Component.EmptyComponent ( emptyComponent ) where import Admin.Components import Data.Version (makeVersion) import Servant emptyComponent :: Component "empty" EmptyAPI emptyComponent :: Component "empty" EmptyAPI emptyComponent = Component :: forall (name :: Symbol) api. Server api -> Version -> Component name api Component {server :: Server EmptyAPI server = Server EmptyAPI forall (m :: * -> *). ServerT EmptyAPI m emptyServer, version :: Version version = [Int] -> Version makeVersion [Int 1]}