lr-acts-0.0.0: Left and right actions, semidirect products and torsors

Index

$<>Data.Act.Act, Data.Act
.-.Data.Act.Torsor, Data.Act
.~.Data.Act.Torsor, Data.Act
<>$Data.Act.Act, Data.Act
ActFold 
1 (Type/Class)Data.Act.Act, Data.Act
2 (Data Constructor)Data.Act.Act, Data.Act
ActFold' 
1 (Type/Class)Data.Act.Act, Data.Act
2 (Data Constructor)Data.Act.Act, Data.Act
ActMap 
1 (Type/Class)Data.Act.Act, Data.Act
2 (Data Constructor)Data.Act.Act, Data.Act
ActSelf 
1 (Type/Class)Data.Act.Act, Data.Act
2 (Data Constructor)Data.Act.Act, Data.Act
ActSelf' 
1 (Type/Class)Data.Act.Act, Data.Act
2 (Data Constructor)Data.Act.Act, Data.Act
ActTrivial 
1 (Type/Class)Data.Act.Act, Data.Act
2 (Data Constructor)Data.Act.Act, Data.Act
LActData.Act.Act, Data.Act
lactData.Act.Act, Data.Act
LActCyclicData.Act.Cyclic, Data.Act
LActDistribData.Act.Act, Data.Act
lactee 
1 (Function)Data.Semidirect.Lazy, Data.Semidirect
2 (Function)Data.Semidirect.Strict
LActGenData.Act.Cyclic, Data.Act
LActGpData.Act.Act, Data.Act
LActMnData.Act.Act, Data.Act
LActMnMorphData.Act.Act, Data.Act
LActNeutralData.Act.Act, Data.Act
lactor 
1 (Function)Data.Semidirect.Lazy, Data.Semidirect
2 (Function)Data.Semidirect.Strict
LActSgData.Act.Act, Data.Act
LActSgMorphData.Act.Act, Data.Act
ldiffData.Act.Torsor, Data.Act
lembedActee 
1 (Function)Data.Semidirect.Lazy, Data.Semidirect
2 (Function)Data.Semidirect.Strict
lembedActor 
1 (Function)Data.Semidirect.Lazy, Data.Semidirect
2 (Function)Data.Semidirect.Strict
lerase 
1 (Function)Data.Semidirect.Lazy, Data.Semidirect
2 (Function)Data.Semidirect.Strict
lforget 
1 (Function)Data.Semidirect.Lazy, Data.Semidirect
2 (Function)Data.Semidirect.Strict
lfromPair 
1 (Function)Data.Semidirect.Lazy, Data.Semidirect
2 (Function)Data.Semidirect.Strict
lgeneratorsData.Act.Cyclic, Data.Act
lgenerators'Data.Act.Cyclic, Data.Act
lgeneratorsListData.Act.Cyclic, Data.Act
lgeneratorsList'Data.Act.Cyclic, Data.Act
loriginData.Act.Cyclic, Data.Act
lorigin'Data.Act.Cyclic, Data.Act
loriginsData.Act.Cyclic, Data.Act
LSemidirect 
1 (Type/Class)Data.Semidirect.Lazy, Data.Semidirect
2 (Data Constructor)Data.Semidirect.Lazy, Data.Semidirect
3 (Type/Class)Data.Semidirect.Strict
4 (Data Constructor)Data.Semidirect.Strict
lshiftData.Act.Cyclic, Data.Act
lshiftFromGenData.Act.Cyclic, Data.Act
LTorsorData.Act.Torsor, Data.Act
RActData.Act.Act, Data.Act
ractData.Act.Act, Data.Act
RActCyclicData.Act.Cyclic, Data.Act
RActDistribData.Act.Act, Data.Act
ractee 
1 (Function)Data.Semidirect.Lazy, Data.Semidirect
2 (Function)Data.Semidirect.Strict
RActGenData.Act.Cyclic, Data.Act
RActGpData.Act.Act, Data.Act
RActMnData.Act.Act, Data.Act
RActMnMorphData.Act.Act, Data.Act
RActNeutralData.Act.Act, Data.Act
ractor 
1 (Function)Data.Semidirect.Lazy, Data.Semidirect
2 (Function)Data.Semidirect.Strict
RActSgData.Act.Act, Data.Act
RActSgMorphData.Act.Act, Data.Act
rdiffData.Act.Torsor, Data.Act
rembedActee 
1 (Function)Data.Semidirect.Lazy, Data.Semidirect
2 (Function)Data.Semidirect.Strict
rembedActor 
1 (Function)Data.Semidirect.Lazy, Data.Semidirect
2 (Function)Data.Semidirect.Strict
rerase 
1 (Function)Data.Semidirect.Lazy, Data.Semidirect
2 (Function)Data.Semidirect.Strict
rforget 
1 (Function)Data.Semidirect.Lazy, Data.Semidirect
2 (Function)Data.Semidirect.Strict
rfromPair 
1 (Function)Data.Semidirect.Lazy, Data.Semidirect
2 (Function)Data.Semidirect.Strict
rgeneratorsData.Act.Cyclic, Data.Act
rgenerators'Data.Act.Cyclic, Data.Act
rgeneratorsListData.Act.Cyclic, Data.Act
rgeneratorsList'Data.Act.Cyclic, Data.Act
roriginData.Act.Cyclic, Data.Act
rorigin'Data.Act.Cyclic, Data.Act
roriginsData.Act.Cyclic, Data.Act
RSemidirect 
1 (Type/Class)Data.Semidirect.Lazy, Data.Semidirect
2 (Data Constructor)Data.Semidirect.Lazy, Data.Semidirect
3 (Type/Class)Data.Semidirect.Strict
4 (Data Constructor)Data.Semidirect.Strict
rshiftData.Act.Cyclic, Data.Act
rshiftFromGenData.Act.Cyclic, Data.Act
RTorsorData.Act.Torsor, Data.Act
unactCoerceData.Act.Act, Data.Act
unactFoldData.Act.Act, Data.Act
unactFold'Data.Act.Act, Data.Act
unactIdData.Act.Act, Data.Act
unactMapData.Act.Act, Data.Act
unactSelfData.Act.Act, Data.Act