maam-0.1.0.0: A monadic framework for abstract interpretation.

Safe HaskellNone
LanguageHaskell2010

MAAM.Time

Documentation

class Time τ where Source

Methods

tzero :: τ ψ Source

tick :: ψ -> τ ψ -> τ ψ Source

Instances

Time Cτ 
Time (Zτ *) 
KnownNat k => Time (Kτ k) 

newtype Cτ ψ Source

Constructors

Cτ [ψ] 

Instances

Time Cτ 
Functorial * Eq Cτ 
Functorial * Ord Cτ 
Functorial * Pretty Cτ 
ListLike ψ (Cτ ψ) 
Buildable ψ (Cτ ψ) 
Iterable ψ (Cτ ψ) 
Eq ψ => Eq (Cτ ψ) 
Ord ψ => Ord (Cτ ψ) 
Pretty ψ => Pretty (Cτ ψ) 
Initial (Cτ ψ) 

newtype Kτ k ψ Source

Constructors

Kτ [ψ] 

Instances

Functorial * Eq (Kτ k) 
Functorial * Ord (Kτ k) 
Functorial * Pretty (Kτ k) 
ListLike ψ (Kτ k ψ) 
Buildable ψ (Kτ k ψ) 
Iterable ψ (Kτ k ψ) 
KnownNat k => Time (Kτ k) 
Eq ψ => Eq (Kτ k ψ) 
Ord ψ => Ord (Kτ k ψ) 
Pretty ψ => Pretty (Kτ k ψ) 
Initial (Kτ k ψ) 

data Zτ ψ Source

Constructors

Zτ 

Instances

Functorial * Eq (Zτ *) 
Functorial * Ord (Zτ *) 
Functorial * Pretty (Zτ *) 
Time (Zτ *) 
Eq (Zτ k ψ) 
Ord (Zτ k ψ) 
Pretty (Zτ k a) 
Initial (Zτ k ψ)