symantic-base-0.1.0.20210703: Commonly useful symantics for Embedded Domain-Specific Languages (EDSL)

Index - L

LamSymantic.Typed.Data, Symantic.Typed
lamSymantic.Typed.Lang, Symantic.Typed
Lam1Symantic.Typed.Data, Symantic.Typed
lam1Symantic.Typed.Lang, Symantic.Typed
LeftSymantic.Typed.Data, Symantic.Typed
leftSymantic.Typed.Lang, Symantic.Typed
LetableSymantic.Typed.ObserveSharing, Symantic.Typed
LetBindingsSymantic.Typed.ObserveSharing, Symantic.Typed
letsSymantic.Typed.ObserveSharing, Symantic.Typed
LetsableSymantic.Typed.ObserveSharing, Symantic.Typed
LiftDerived 
1 (Type/Class)Symantic.Dityped.Derive, Symantic.Dityped
2 (Type/Class)Symantic.Typed.Derive, Symantic.Typed
liftDerived 
1 (Function)Symantic.Dityped.Derive, Symantic.Dityped
2 (Function)Symantic.Typed.Derive, Symantic.Typed
LiftDerived1 
1 (Type/Class)Symantic.Dityped.Derive, Symantic.Dityped
2 (Type/Class)Symantic.Typed.Derive, Symantic.Typed
liftDerived1 
1 (Function)Symantic.Dityped.Derive, Symantic.Dityped
2 (Function)Symantic.Typed.Derive, Symantic.Typed
LiftDerived2 
1 (Type/Class)Symantic.Dityped.Derive, Symantic.Dityped
2 (Type/Class)Symantic.Typed.Derive, Symantic.Typed
liftDerived2 
1 (Function)Symantic.Dityped.Derive, Symantic.Dityped
2 (Function)Symantic.Typed.Derive, Symantic.Typed
LiftDerived3 
1 (Type/Class)Symantic.Dityped.Derive, Symantic.Dityped
2 (Type/Class)Symantic.Typed.Derive, Symantic.Typed
liftDerived3 
1 (Function)Symantic.Dityped.Derive, Symantic.Dityped
2 (Function)Symantic.Typed.Derive, Symantic.Typed
LiftDerived4 
1 (Type/Class)Symantic.Dityped.Derive, Symantic.Dityped
2 (Type/Class)Symantic.Typed.Derive, Symantic.Typed
liftDerived4 
1 (Function)Symantic.Dityped.Derive, Symantic.Dityped
2 (Function)Symantic.Typed.Derive, Symantic.Typed
ListableSymantic.Typed.Lang, Symantic.Typed
ListOfRepProductsSymantic.Dityped.ADT
ListOfRepSumsSymantic.Dityped.ADT