shake-ats-1.10.0.1: Utilities for building ATS projects with shake

Index

ArtifactTypeDevelopment.Shake.ATS
atsBinDevelopment.Shake.ATS
ATSGen 
1 (Type/Class)Development.Shake.ATS
2 (Data Constructor)Development.Shake.ATS
atsLexDevelopment.Shake.ATS
ATSTarget 
1 (Type/Class)Development.Shake.ATS
2 (Data Constructor)Development.Shake.ATS
ATSToolConfig 
1 (Type/Class)Development.Shake.ATS
2 (Data Constructor)Development.Shake.ATS
cabalFileDevelopment.Shake.ATS
cabalForeignDevelopment.Shake.ATS
CCompilerDevelopment.Shake.ATS
ccToDirDevelopment.Shake.ATS
cgenDevelopment.Shake.ATS
ClangDevelopment.Shake.ATS
cleanATSDevelopment.Shake.ATS
CompCertDevelopment.Shake.ATS
ExecutableDevelopment.Shake.ATS
ForeignCabal 
1 (Type/Class)Development.Shake.ATS
2 (Data Constructor)Development.Shake.ATS
GCCDevelopment.Shake.ATS
genATSDevelopment.Shake.ATS
getSubdirsDevelopment.Shake.ATS
GHCDevelopment.Shake.ATS
hatsFileDevelopment.Shake.ATS
HATSGen 
1 (Type/Class)Development.Shake.ATS
2 (Data Constructor)Development.Shake.ATS
hsAtsDevelopment.Shake.ATS
ICCDevelopment.Shake.ATS
IgnoreDevelopment.Shake.ATS
objectFileDevelopment.Shake.ATS
OtherDevelopment.Shake.ATS
patsccDevelopment.Shake.ATS
patsoptDevelopment.Shake.ATS
PatsSolveDevelopment.Shake.ATS
projectFileDevelopment.Shake.ATS
satsFileDevelopment.Shake.ATS
SharedLibraryDevelopment.Shake.ATS
SolverDevelopment.Shake.ATS
StaticLibraryDevelopment.Shake.ATS
withPFDevelopment.Shake.ATS
Z3Development.Shake.ATS
_atsTargetDevelopment.Shake.ATS
_binTargetDevelopment.Shake.ATS
_ccDevelopment.Shake.ATS
_cFlagsDevelopment.Shake.ATS
_cpphsDevelopment.Shake.ATS
_gcDevelopment.Shake.ATS
_genTargetsDevelopment.Shake.ATS
_hasPrettyDevelopment.Shake.ATS
_hsFileDevelopment.Shake.ATS
_hsLibsDevelopment.Shake.ATS
_libsDevelopment.Shake.ATS
_linkATSLibDevelopment.Shake.ATS
_linkStaticDevelopment.Shake.ATS
_linkTargetsDevelopment.Shake.ATS
_otherDepsDevelopment.Shake.ATS
_patsFlagsDevelopment.Shake.ATS
_patsHomeDevelopment.Shake.ATS
_patsHomeLocsDevelopment.Shake.ATS
_postfixDevelopment.Shake.ATS
_prefixDevelopment.Shake.ATS
_solverDevelopment.Shake.ATS
_srcDevelopment.Shake.ATS
_stripDevelopment.Shake.ATS
_tgtTypeDevelopment.Shake.ATS
_toolConfigDevelopment.Shake.ATS