symantic-base-0.5.0.20221211: Basic symantic combinators for Embedded Domain-Specific Languages (EDSL)

Index

$Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
-->Symantic.Syntaxes.Reify, Symantic.Syntaxes, Symantic
-..->Symantic.Syntaxes.CurryN, Symantic.Syntaxes, Symantic
.Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
.>Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
.@Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
:!:Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
:@Symantic.Syntaxes.Data, Symantic.Syntaxes, Symantic
<%>Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
<&>Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
<*&>Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
<+&>Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
<+>Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
<->Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
<.Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
<.>Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
<>Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
<?&>Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
<|>Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
==Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
a2bSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
AbstractableSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
ADTSymantic.Syntaxes.EithersOfTuples, Symantic.Syntaxes, Symantic
adtOfeotSymantic.Syntaxes.EithersOfTuples, Symantic.Syntaxes, Symantic
AlternativeFunctorSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
AnythingSymantic.Syntaxes.Data, Symantic.Syntaxes, Symantic
anythingSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
AnythingableSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
ArgsSymantic.Syntaxes.CurryN, Symantic.Syntaxes, Symantic
AssocBSymantic.Semantics.Viewer.Fixity
AssociativitySymantic.Semantics.Viewer.Fixity
AssocLSymantic.Semantics.Viewer.Fixity
AssocRSymantic.Semantics.Viewer.Fixity
b2aSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
baseSymantic.Syntaxes.Reify, Symantic.Syntaxes, Symantic
boolSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
BottomSymantic.Syntaxes.Data, Symantic.Syntaxes, Symantic
bottomSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
BottomableSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
charSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
ConcatSymantic.Syntaxes.Data, Symantic.Syntaxes, Symantic
concatSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
ConsSymantic.Syntaxes.Data, Symantic.Syntaxes, Symantic
consSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
constSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
ConstantSymantic.Syntaxes.Data, Symantic.Syntaxes, Symantic
constantSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
ConstantableSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
constructSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
CurryNSymantic.Syntaxes.CurryN, Symantic.Syntaxes, Symantic
curryNSymantic.Syntaxes.CurryN, Symantic.Syntaxes, Symantic
Data 
1 (Type/Class)Symantic.Syntaxes.Data, Symantic.Syntaxes, Symantic
2 (Data Constructor)Symantic.Syntaxes.Data, Symantic.Syntaxes, Symantic
DataableSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
dataTypeSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
data_Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
DefinableSymantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
defineSymantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
DerivableSymantic.Syntaxes.Derive, Symantic.Syntaxes, Symantic
deriveSymantic.Syntaxes.Derive, Symantic.Syntaxes, Symantic
DerivedSymantic.Syntaxes.Derive, Symantic.Syntaxes, Symantic
dicurrySymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
DicurryableSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
EitherSymantic.Syntaxes.Data, Symantic.Syntaxes, Symantic
eitherSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
EitherableSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
EithersOfRepSymantic.Syntaxes.EithersOfTuples, Symantic.Syntaxes, Symantic
eithersOfRepLSymantic.Syntaxes.EithersOfTuples, Symantic.Syntaxes, Symantic
eithersOfRepRSymantic.Syntaxes.EithersOfTuples, Symantic.Syntaxes, Symantic
eithersOfTuplesSymantic.Semantics.ToFer, Symantic.Semantics, Symantic
EmptySymantic.Syntaxes.Data, Symantic.Syntaxes, Symantic
emptySymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
EmptyableSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
Endpoint 
1 (Type/Class)Symantic.Syntaxes.TuplesOfFunctions, Symantic.Syntaxes, Symantic
2 (Data Constructor)Symantic.Syntaxes.TuplesOfFunctions, Symantic.Syntaxes, Symantic
endpointSymantic.Syntaxes.TuplesOfFunctions, Symantic.Syntaxes, Symantic
EoTSymantic.Syntaxes.EithersOfTuples, Symantic.Syntaxes, Symantic
eotOfadtSymantic.Syntaxes.EithersOfTuples, Symantic.Syntaxes, Symantic
EoTOfRepSymantic.Syntaxes.EithersOfTuples, Symantic.Syntaxes, Symantic
EqualSymantic.Syntaxes.Data, Symantic.Syntaxes, Symantic
equalSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
EqualableSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
FieldOfRepSymantic.Syntaxes.EithersOfTuples, Symantic.Syntaxes, Symantic
fieldOfRepSymantic.Syntaxes.EithersOfTuples, Symantic.Syntaxes, Symantic
fixSymantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
FixitySymantic.Semantics.Viewer.Fixity
Fixity1Symantic.Semantics.Viewer.Fixity
Fixity2Symantic.Semantics.Viewer.Fixity
flipSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
FromDerivedSymantic.Syntaxes.Derive, Symantic.Syntaxes, Symantic
FromDerived1Symantic.Syntaxes.Derive, Symantic.Syntaxes, Symantic
FromDerived2Symantic.Syntaxes.Derive, Symantic.Syntaxes, Symantic
FromDerived3Symantic.Syntaxes.Derive, Symantic.Syntaxes, Symantic
FromDerived4Symantic.Syntaxes.Derive, Symantic.Syntaxes, Symantic
FunctionableSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
idSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
IfSemanticSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
ifSemanticSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
IfThenElseSymantic.Syntaxes.Data, Symantic.Syntaxes, Symantic
ifThenElseSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
IfThenElseableSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
inferSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
InferableSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
Infix 
1 (Type/Class)Symantic.Semantics.Viewer.Fixity
2 (Data Constructor)Symantic.Semantics.Viewer.Fixity
infixBSymantic.Semantics.Viewer.Fixity
infixLSymantic.Semantics.Viewer.Fixity
infixNSymantic.Semantics.Viewer.Fixity
infixN0Symantic.Semantics.Viewer.Fixity
infixN5Symantic.Semantics.Viewer.Fixity
infixRSymantic.Semantics.Viewer.Fixity
infix_associativitySymantic.Semantics.Viewer.Fixity
infix_precedenceSymantic.Semantics.Viewer.Fixity
intSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
Iso 
1 (Type/Class)Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
2 (Data Constructor)Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
IsoFunctorSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
isPairNeededSymantic.Semantics.Viewer.Fixity
IsToFSymantic.Syntaxes.TuplesOfFunctions, Symantic.Syntaxes, Symantic
JustSymantic.Syntaxes.Data, Symantic.Syntaxes, Symantic
justSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
LamSymantic.Syntaxes.Data, Symantic.Syntaxes, Symantic
lamSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
Lam1Symantic.Syntaxes.Data, Symantic.Syntaxes, Symantic
lam1Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
LeftSymantic.Syntaxes.Data, Symantic.Syntaxes, Symantic
leftSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
LetBindingsSymantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
LetRecsSymantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
letsSymantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
LetsableSymantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
LiftDerivedSymantic.Syntaxes.Derive, Symantic.Syntaxes, Symantic
liftDerivedSymantic.Syntaxes.Derive, Symantic.Syntaxes, Symantic
LiftDerived1Symantic.Syntaxes.Derive, Symantic.Syntaxes, Symantic
liftDerived1Symantic.Syntaxes.Derive, Symantic.Syntaxes, Symantic
LiftDerived2Symantic.Syntaxes.Derive, Symantic.Syntaxes, Symantic
liftDerived2Symantic.Syntaxes.Derive, Symantic.Syntaxes, Symantic
LiftDerived3Symantic.Syntaxes.Derive, Symantic.Syntaxes, Symantic
liftDerived3Symantic.Syntaxes.Derive, Symantic.Syntaxes, Symantic
LiftDerived4Symantic.Syntaxes.Derive, Symantic.Syntaxes, Symantic
liftDerived4Symantic.Syntaxes.Derive, Symantic.Syntaxes, Symantic
ListableSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
ListOfRepProductsSymantic.Syntaxes.EithersOfTuples, Symantic.Syntaxes, Symantic
ListOfRepSumsSymantic.Syntaxes.EithersOfTuples, Symantic.Syntaxes, Symantic
MakeLetNameSymantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
makeLetNameSymantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
makeSharingNameSymantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
manySymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
many0Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
many1Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
mapresultNSymantic.Syntaxes.CurryN, Symantic.Syntaxes, Symantic
MaybeableSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
MonoidableSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
mutualFixSymantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
naturalSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
NilSymantic.Syntaxes.Data, Symantic.Syntaxes, Symantic
nilSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
noPermSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
normalOrderReductionSymantic.Syntaxes.Data, Symantic.Syntaxes, Symantic
NothingSymantic.Syntaxes.Data, Symantic.Syntaxes, Symantic
nothingSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
observeSharingSymantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
observeSharingNodeSymantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
OpenRecSymantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
OpenRecsSymantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
OptionableSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
optionalSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
optionalPermSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
oss_recsSymantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
oss_refsSymantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
PairSymantic.Semantics.Viewer.Fixity
pairAngleSymantic.Semantics.Viewer.Fixity
pairBraceSymantic.Semantics.Viewer.Fixity
pairBracketSymantic.Semantics.Viewer.Fixity
pairIfNeededSymantic.Semantics.Viewer.Fixity
pairParenSymantic.Semantics.Viewer.Fixity
pairViewerSymantic.Semantics.Viewer, Symantic.Semantics, Symantic
permSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
PermutableSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
permutableSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
PermutationSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic.Syntaxes, Symantic, Symantic
permWithDefaultSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
PostfixSymantic.Semantics.Viewer.Fixity
PrecedenceSymantic.Semantics.Viewer.Fixity
precedenceSymantic.Semantics.Viewer.Fixity
PrecedenceOfSymantic.Semantics.Viewer.Fixity
PrefixSymantic.Semantics.Viewer.Fixity
ProductFunctorSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
Reader 
1 (Type/Class)Symantic.Semantics.Reader, Symantic.Semantics, Symantic
2 (Data Constructor)Symantic.Semantics.Reader, Symantic.Semantics, Symantic
refSymantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
ReferenceableSymantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
reflectSymantic.Syntaxes.Reify, Symantic.Syntaxes, Symantic
reifySymantic.Syntaxes.Reify, Symantic.Syntaxes, Symantic
ReifyReflect 
1 (Type/Class)Symantic.Syntaxes.Reify, Symantic.Syntaxes, Symantic
2 (Data Constructor)Symantic.Syntaxes.Reify, Symantic.Syntaxes, Symantic
reifyTHSymantic.Syntaxes.Reify, Symantic.Syntaxes, Symantic
RepeatableSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
RepOfEithersSymantic.Syntaxes.EithersOfTuples, Symantic.Syntaxes, Symantic
repOfEithersSymantic.Syntaxes.EithersOfTuples, Symantic.Syntaxes, Symantic
RepOfEoTSymantic.Syntaxes.EithersOfTuples, Symantic.Syntaxes, Symantic
RepOfFieldSymantic.Syntaxes.EithersOfTuples, Symantic.Syntaxes, Symantic
repOfFieldSymantic.Syntaxes.EithersOfTuples, Symantic.Syntaxes, Symantic
RepOfTuplesSymantic.Syntaxes.EithersOfTuples, Symantic.Syntaxes, Symantic
repOfTuplesSymantic.Syntaxes.EithersOfTuples, Symantic.Syntaxes, Symantic
ResultSymantic.Syntaxes.CurryN, Symantic.Syntaxes, Symantic
RightSymantic.Syntaxes.Data, Symantic.Syntaxes, Symantic
rightSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
runViewerSymantic.Semantics.Viewer, Symantic.Semantics, Symantic
SemanticSymantic.Syntaxes.Derive, Symantic.Syntaxes, Symantic
SemigroupableSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
SharingFinalizer 
1 (Type/Class)Symantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
2 (Data Constructor)Symantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
SharingName 
1 (Type/Class)Symantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
2 (Data Constructor)Symantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
SharingObserver 
1 (Type/Class)Symantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
2 (Data Constructor)Symantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
SharingObserverState 
1 (Type/Class)Symantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
2 (Data Constructor)Symantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
SideSymantic.Semantics.Viewer.Fixity
SideLSymantic.Semantics.Viewer.Fixity
SideRSymantic.Semantics.Viewer.Fixity
someSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
SomeData 
1 (Type/Class)Symantic.Syntaxes.Data, Symantic.Syntaxes, Symantic
2 (Data Constructor)Symantic.Syntaxes.Data, Symantic.Syntaxes, Symantic
SomeLet 
1 (Type/Class)Symantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
2 (Data Constructor)Symantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
stringSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
SubstractableSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
SumFunctorSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
SyntaxSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
SyntaxesSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
ToFSymantic.Syntaxes.TuplesOfFunctions, Symantic.Syntaxes, Symantic
ToFer 
1 (Type/Class)Symantic.Semantics.ToFer, Symantic.Semantics, Symantic
2 (Data Constructor)Symantic.Semantics.ToFer, Symantic.Semantics, Symantic
ToFIfSymantic.Syntaxes.TuplesOfFunctions, Symantic.Syntaxes, Symantic
TuplesSymantic.Syntaxes.EithersOfTuples, Symantic.Syntaxes, Symantic
tuplesOfFunctionsSymantic.Semantics.ToFer, Symantic.Semantics, Symantic
TuplesOfRepSymantic.Syntaxes.EithersOfTuples, Symantic.Syntaxes, Symantic
tuplesOfRepSymantic.Syntaxes.EithersOfTuples, Symantic.Syntaxes, Symantic
TypeOfRepFieldSymantic.Syntaxes.EithersOfTuples, Symantic.Syntaxes, Symantic
UnabstractableSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
uncurryNSymantic.Syntaxes.CurryN, Symantic.Syntaxes, Symantic
unEndpointSymantic.Syntaxes.TuplesOfFunctions, Symantic.Syntaxes, Symantic
unFinalizeSharingSymantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
UnifixSymantic.Semantics.Viewer.Fixity
unifix_precedenceSymantic.Semantics.Viewer.Fixity
unitSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
unReaderSymantic.Semantics.Reader, Symantic.Semantics, Symantic
unSharingObserverSymantic.Semantics.SharingObserver, Symantic.Semantics, Symantic
unSomeDataSymantic.Syntaxes.Data, Symantic.Syntaxes, Symantic
UnToFSymantic.Syntaxes.TuplesOfFunctions, Symantic.Syntaxes, Symantic
unToFSymantic.Syntaxes.TuplesOfFunctions, Symantic.Syntaxes, Symantic
UnToFIfSymantic.Syntaxes.TuplesOfFunctions, Symantic.Syntaxes, Symantic
VarSymantic.Syntaxes.Data, Symantic.Syntaxes, Symantic
varSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
viewEnv_lamDepthSymantic.Semantics.Viewer, Symantic.Semantics, Symantic
viewEnv_opSymantic.Semantics.Viewer, Symantic.Semantics, Symantic
viewEnv_pairSymantic.Semantics.Viewer, Symantic.Semantics, Symantic
Viewer 
1 (Type/Class)Symantic.Semantics.Viewer, Symantic.Semantics, Symantic
2 (Data Constructor)Symantic.Semantics.Viewer, Symantic.Semantics, Symantic
ViewerAppSymantic.Semantics.Viewer, Symantic.Semantics, Symantic
ViewerEnv 
1 (Type/Class)Symantic.Semantics.Viewer, Symantic.Semantics, Symantic
2 (Data Constructor)Symantic.Semantics.Viewer, Symantic.Semantics, Symantic
ViewerInfixSymantic.Semantics.Viewer, Symantic.Semantics, Symantic
ViewerUnifixSymantic.Semantics.Viewer, Symantic.Semantics, Symantic
viewLamSymantic.Semantics.Viewer, Symantic.Semantics, Symantic
voidSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
VoidableSymantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic
WithSharingSymantic.Semantics.SharingObserver, Symantic.Semantics, Symantic