Safe Haskell	None
Language	Haskell2010

Lang.LamIf.Val

Documentation

data CVal lτ dτ Source

Constructors

LitC Lit
CloC (Clo lτ dτ)
TupC (PicoVal lτ dτ, PicoVal lτ dτ)
BotC

Instances

(Ord lτ, Ord dτ) => Val lτ dτ (CVal lτ dτ)
(Ord lτ, Ord dτ) => Val lτ dτ (Power * * CVal lτ dτ)
(Eq lτ, Eq dτ) => Eq (CVal lτ dτ)
(Ord lτ, Ord dτ) => Ord (CVal lτ dτ)
(Eq lτ, Eq dτ) => PartialOrder (CVal lτ dτ)
(Pretty lτ, Pretty dτ) => Pretty (CVal lτ dτ)

botCL :: forall lτ dτ. Prism (CVal lτ dτ) () Source

tupCL :: forall lτ dτ. Prism (CVal lτ dτ) (PicoVal lτ dτ, PicoVal lτ dτ) Source

cloCL :: forall lτ dτ. Prism (CVal lτ dτ) (Clo lτ dτ) Source

litCL :: forall lτ dτ. Prism (CVal lτ dτ) Lit Source

data AVal lτ dτ Source

Constructors

LitA Lit
IA
BA
CloA (Clo lτ dτ)
TupA (PicoVal lτ dτ, PicoVal lτ dτ)
BotA

Instances

(Ord lτ, Ord dτ) => Val lτ dτ (AVal lτ dτ)
(Ord lτ, Ord dτ) => Val lτ dτ (Power * * AVal lτ dτ)
(Eq lτ, Eq dτ) => Eq (AVal lτ dτ)
(Ord lτ, Ord dτ) => Ord (AVal lτ dτ)
(Eq lτ, Eq dτ) => PartialOrder (AVal lτ dτ)
(Pretty lτ, Pretty dτ) => Pretty (AVal lτ dτ)

botAL :: forall lτ dτ. Prism (AVal lτ dτ) () Source

tupAL :: forall lτ dτ. Prism (AVal lτ dτ) (PicoVal lτ dτ, PicoVal lτ dτ) Source

cloAL :: forall lτ dτ. Prism (AVal lτ dτ) (Clo lτ dτ) Source

bAL :: forall lτ dτ. Prism (AVal lτ dτ) () Source

iAL :: forall lτ dτ. Prism (AVal lτ dτ) () Source

litAL :: forall lτ dτ. Prism (AVal lτ dτ) Lit Source

newtype Power val lτ dτ Source

Constructors

Power
Fields runPower :: Set (val lτ dτ)

Instances

(Ord lτ, Ord dτ) => Val lτ dτ (Power * * AVal lτ dτ)
(Ord lτ, Ord dτ) => Val lτ dτ (Power * * CVal lτ dτ)
Ord (val lτ dτ) => Buildable (val lτ dτ) (Power k k val lτ dτ)
Iterable (val lτ dτ) (Power k k val lτ dτ)
Container (val lτ dτ) (Power k k val lτ dτ)
Eq (Power k k val lτ dτ)
Ord (Power k k val lτ dτ)
JoinLattice (Power k k val lτ dτ)
Difference (Power k k val lτ dτ)
Join (Power k k val lτ dτ)
Bot (Power k k val lτ dτ)
PartialOrder (Power k k val lτ dτ)
Pretty (val lτ dτ) => Pretty (Power k k val lτ dτ)