MAAM.Inject

Documentation

class Inject ς where

Methods

inj :: a -> ς a

Instances

Inject ListSetWithTop

Inject ListSet

Inject ID

Bot 𝓈 => Inject ((,) 𝓈)

TimeC lτ dτ => Inject (PSΣ ν lτ dτ)

(TimeC lτ, TimeC dτ) => Inject (FIΣ val lτ dτ)

(TimeC lτ, TimeC dτ) => Inject (FSΣ val lτ dτ)

(TimeC lτ, TimeC dτ) => Inject (PSΣ val lτ dτ)

(Inject t, Inject u) => Inject ((:.:) * * t u)