Safe Haskell	None
Language	GHC2021

Control.Comonad.Travel.Env

Description

Discrete category - Env comonad

Synopsis

type Discrete = (:~:) :: k -> k -> Type
fromEnv :: SingKind k => Env (Demote k) r -> Travel (Discrete :: k -> k -> Type) r
toEnv :: SingKind k => Travel (Discrete :: k -> k -> Type) r -> Env (Demote k) r

Documentation

(:~:) is a discrete category on kind k.

Travel (Discrete k) r ~ (k, r) ~ Env k r@