polynomial-comonad

Safe Haskell	None
Language	GHC2021

Control.Comonad.Travel.Env

Description

Discrete category - Env comonad

Synopsis

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

Documentation

type Discrete = (:~:) Source #

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

fromEnv :: SingKind k => Env (Demote k) r -> Travel Discrete r Source #

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

toEnv :: SingKind k => Travel Discrete r -> Env (Demote k) r Source #