MAAM.Initial

Documentation

class Initial a where

Methods

initial :: a

Instances

Initial (Cτ ψ)

Initial (Map k v)

Initial (Zτ k ψ)

Initial (Kτ k ψ)

(Initial (lτ ψ), Initial (dτ ψ)) => Initial (PI𝒮 lτ dτ ψ)

(Initial (lτ ψ), Initial (dτ ψ)) => Initial (𝒮 val lτ dτ ψ)

class Inject ς where

Methods

inj :: a -> ς a

Instances

Inject ListSet

Inject ID

Initial 𝓈 => Inject ((,) 𝓈)

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

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

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

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