AlphaGitHub
Source/Packages

Compiler.DependentCore

packages/compiler/src/Compiler/DependentCore.alpha

12,943 lines498 declarations489.0 KiBSHA-256 ef207b0de796
Download exact fileView at revisionf5034773ad4bb52133

family · lines 27–62

CorePrimitive

Full file
27family CorePrimitive : Type 0
28constructor CoreByteEqual
29constructor CoreByteLess
30constructor CoreNaturalLess
31constructor CoreNaturalToByte
32constructor CoreByteToNatural
33constructor CoreBytesAppend
34constructor CoreBytesCons
35constructor CoreBytesLength
36constructor CoreNaturalEliminate
37constructor CoreBytesEliminate
38constructor CoreBytesEqual
39constructor CoreFileEffect
40constructor CoreEffects
41constructor CoreComputation
42constructor CoreReturn
43constructor CoreBind
44constructor CoreReadFile
45constructor CoreWriteFile
46constructor CoreLinuxOpenNode
47constructor CoreLinuxCloseNode
48constructor CoreLinuxIoctl
49constructor CoreLinuxMmap
50constructor CoreLinuxMunmap
51constructor CoreBytesSetIndex
52constructor CoreBytesIndexNonzero
53constructor CoreBytesSetFreeIndex
54constructor CoreBytesBuilderType
55constructor CoreBytesBuilderEmpty
56constructor CoreBytesBuilderChunk
57constructor CoreBytesBuilderAppend
58constructor CoreBytesBuilderBuild
59constructor CoreRuntimeImageV4Build
60constructor CoreBytesHead
61constructor CoreBytesTail
62constructor CoreBytesChecksum

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.