-- | DO NOT EDIT. Generated by unison-runtime/scripts/gen-builtin-decls.sh.
--
-- The references and constructor numbers of the builtin declarations
-- (Unison.Builtin.Decls) and the order of the builtin types
-- (Unison.Builtin), as constants, so that the runtime needs neither the
-- declarations nor the hashing that makes their references
-- (unison-runtime/scripts/GenBuiltinDecls.hs says why). The test
-- Unison.Test.Runtime.BuiltinDecls fails when they no longer match their
-- sources, and says to run the script.
module Unison.Runtime.Builtin.Decls where

import Data.Text (Text)
import Unison.ConstructorReference (GConstructorReference (..))
import Unison.ConstructorType qualified as CT
import Unison.DataDeclaration.ConstructorId (ConstructorId)
import Unison.Hash qualified as Hash
import Unison.Reference (Reference)
import Unison.Reference qualified as R
import Unison.Referent (Referent)
import Unison.Referent qualified as Referent

derived :: Text -> R.Pos -> Reference
derived :: Text -> ConstructorId -> Reference
derived Text
h ConstructorId
i = Id' Hash -> Reference
forall h t. Id' h -> Reference' t h
R.DerivedId (Hash -> ConstructorId -> Id' Hash
forall h. h -> ConstructorId -> Id' h
R.Id (Text -> Hash
Hash.unsafeFromBase32HexText Text
h) ConstructorId
i)

unitRef :: Reference
unitRef :: Reference
unitRef = Text -> ConstructorId -> Reference
derived Text
"00nv2kob8fp11qdkr750rlppf81cda95m3q0niohj1pvljnjl4r3hqrhvp1un2p40ptgkhhsne7hocod90r3qdlus9guivh7j3qcq0g" ConstructorId
0

pairRef :: Reference
pairRef :: Reference
pairRef = Text -> ConstructorId -> Reference
derived Text
"2lg4ah6ir6t129m33d7gssnigacral39qdamo20mn6r2vefliubpeqnjhejai9ekjckv0qnu9mlu3k9nbpfhl2schec4dohn7rjhjt8" ConstructorId
0

optionalRef :: Reference
optionalRef :: Reference
optionalRef = Text -> ConstructorId -> Reference
derived Text
"nirp5os0q69o4e1u9p3t6mmq6l6otluefi3ksm7dhm0diidjvkkgl8o9bvnflbj0sanuvdusf34f1qrins3ktcaglpcqv9oums2slsg" ConstructorId
0

eitherRef :: Reference
eitherRef :: Reference
eitherRef = Text -> ConstructorId -> Reference
derived Text
"0o7mf021foma9acqdaibmlh1jidlijq08uf7f5se9tssttqs546pfunjpk6s31mqoq8s2o1natede8hkk6he45l95fibglidikt44v8" ConstructorId
0

testResultRef :: Reference
testResultRef :: Reference
testResultRef = Text -> ConstructorId -> Reference
derived Text
"aql7qk3iud6vs4cvu43aimopoosgk0fnipibdkc3so13adencmibgfn0u5c01r0adei55nkl3ttsjhl8gbj7tr4gnpj63g64ftbq6s0" ConstructorId
0

linkRef :: Reference
linkRef :: Reference
linkRef = Text -> ConstructorId -> Reference
derived Text
"f4b37niu61dc517c32h3os36ig34fgnt7inaaoqdbecmscchthi14gdo0vj3eee1ru746ibvl9vnmm1pglrv3125qnhsbc0i1tqtic0" ConstructorId
0

docRef :: Reference
docRef :: Reference
docRef = Text -> ConstructorId -> Reference
derived Text
"p65rcethk26an850aaaceojremfu054hqllhoip1mt9s22584j9r62o08qo9t0pri7ssgu9m7f0rfp4nujhulgbmo41tkgl182quhd8" ConstructorId
0

ioErrorRef :: Reference
ioErrorRef :: Reference
ioErrorRef = Text -> ConstructorId -> Reference
derived Text
"h4smnou0l3fg4dn92g2r88j0imfvufjerkgbuscvvmaprv12l22nk6sff3c12edlikb2vfg3vfdj4b23a09q4lvtk75ckbe4lsmtuc0" ConstructorId
0

stdHandleRef :: Reference
stdHandleRef :: Reference
stdHandleRef = Text -> ConstructorId -> Reference
derived Text
"121tku5rfh21t247v1cakhd6ir44fakkqsm799rrfp5qcjdls4nvdu4r3nco80stdd86tdo2hhh0ulcpoaofnrnkjun04kqnfmjqio8" ConstructorId
0

failureRef :: Reference
failureRef :: Reference
failureRef = Text -> ConstructorId -> Reference
derived Text
"r29dja8j9dmjjp45trccchaata8eo1h6d6haar1eai74pq1jt4m7u3ldhlq79f7phfo57eq4bau39vqotl2h63k7ff1m5sj5o9ajuf8" ConstructorId
0

ioFailureRef :: Reference
ioFailureRef :: Reference
ioFailureRef = Text -> ConstructorId -> Reference
derived Text
"6ivk1e38hh0l9gcl8fn4mhf8bmak3qaji36vevg5e1n16ju5i4cl9u5gmqi7u16b907rd98gd60pouma892efbqt2ri58tmu99hp77g" ConstructorId
0

tlsFailureRef :: Reference
tlsFailureRef :: Reference
tlsFailureRef = Text -> ConstructorId -> Reference
derived Text
"r3gag1btclr8iclbdt68irgt8n1d1vf7agv5umke3dgdbl11acj6easav6gtihanrjnct18om07638rne9ej06u2bkv2v4l36knm2l0" ConstructorId
0

arrayFailureRef :: Reference
arrayFailureRef :: Reference
arrayFailureRef = Text -> ConstructorId -> Reference
derived Text
"6dtvam7msqc64dimm8p0d8ehdf0330o4qbd2fdafb11jj1c2rg4ke3jdcmbgo6s4pf2jgm0vb76jeavv4ba6ht71t74p963a1miekag" ConstructorId
0

cryptoFailureRef :: Reference
cryptoFailureRef :: Reference
cryptoFailureRef = Text -> ConstructorId -> Reference
derived Text
"bcubd2qdb27v92gb4kohhbq710cdu0g1njvnjm5iqemr6b0sq44nheo4jsgi9demkcrej53oj8hgjgdcsc50l5j53mg9h4koo52bfb8" ConstructorId
0

exceptionRef :: Reference
exceptionRef :: Reference
exceptionRef = Text -> ConstructorId -> Reference
derived Text
"4n0fgs00hpsj3paqnm9bfm4nbt9cbrin3hl88i992m9tjiq1ik7eq72asu4hcg885uti36tbnj5rudt56eahhnut1nobofg86pk1bng" ConstructorId
0

isPropagatedRef :: Reference
isPropagatedRef :: Reference
isPropagatedRef = Text -> ConstructorId -> Reference
derived Text
"c23jofurcegj93796o0karmkcm6baifupiuu1rtkniu74avn6a4r1n66ga5rml5di7easkgn4iak800u3tnb6kfisbrv6tcfgkb13a8" ConstructorId
0

isTestRef :: Reference
isTestRef :: Reference
isTestRef = Text -> ConstructorId -> Reference
derived Text
"q6snodsh7i7u6k7gtqj73tt7nv6htjofs5f37vg2v3dsfk6hau71fs5mcv0hq3lqg111fsvoi92mngm08850aftfgh65uka9mhqvft0" ConstructorId
0

runtimeFailureRef :: Reference
runtimeFailureRef :: Reference
runtimeFailureRef = Text -> ConstructorId -> Reference
derived Text
"vph2eas3lf2gi259f3khlrspml3id2l8u0ru07kb5fd833h238jk4iauju0b6decth9i3nao5jkf5eej1e1kovgmu5tghhh8jq3i7p8" ConstructorId
0

arithmeticFailureRef :: Reference
arithmeticFailureRef :: Reference
arithmeticFailureRef = Text -> ConstructorId -> Reference
derived Text
"s6ijmhqkkaus51chjgahogc7sdrqj9t66i599le2k7ts6fkl216f997hbses3mqk6a21vaj3cm1mertbldn0g503jt522vfo4rfv720" ConstructorId
0

miscFailureRef :: Reference
miscFailureRef :: Reference
miscFailureRef = Text -> ConstructorId -> Reference
derived Text
"574pvphqahl981k517dtrqtq812m05h3hj6t2bt9sn3pknenfik1krscfdb6r66nf1sm7g3r1r56k0c6ob7vg4opfq4gihi8njbnhsg" ConstructorId
0

stmFailureRef :: Reference
stmFailureRef :: Reference
stmFailureRef = Text -> ConstructorId -> Reference
derived Text
"cggbdfff21ac5uedf4qvn4to83clinvhsovrila35u7f7e73g4l6hoj8pjmjnk713a8luhnn4bi1j9ai1nl0can1un66hvg230eog9g" ConstructorId
0

threadKilledFailureRef :: Reference
threadKilledFailureRef :: Reference
threadKilledFailureRef = Text -> ConstructorId -> Reference
derived Text
"ggh649864d9bfnk90n7kgtj7dflddc4kn8osu7u7mub8p7l8biid8dgtungj4u005h7karbgupfpum9jp94spks3ma1sgh39bhirv38" ConstructorId
0

asyncCancelledFailureRef :: Reference
asyncCancelledFailureRef :: Reference
asyncCancelledFailureRef = Text -> ConstructorId -> Reference
derived Text
"742gldjoimm3e27aujd3h8qacsou2gjiva704khgvag4p0959hd4818gin6k6e5fhpsolm1bptnd45va6tp13qekpfq0vrlpamjp478" ConstructorId
0

outOfBoundsRef :: Reference
outOfBoundsRef :: Reference
outOfBoundsRef = Text -> ConstructorId -> Reference
derived Text
"hob0tq2g20rolth4rqe82hobi1sodu5mq84ejj806hkdcp8oo10a5ml0ca16usbf2jslr6nershitm2e0vqttvjhs0r8e23vjk6fun8" ConstructorId
0

fileModeRef :: Reference
fileModeRef :: Reference
fileModeRef = Text -> ConstructorId -> Reference
derived Text
"jhnlob35huv3rr7jg6aa4gtd8okhprla7gvlq8io429qita8vj7k696n9jvp4b8ct9i2pc1jodb8ap2bipqtgp138epdgfcth7vqvt8" ConstructorId
0

bufferModeRef :: Reference
bufferModeRef :: Reference
bufferModeRef = Text -> ConstructorId -> Reference
derived Text
"dc6n5ebu839ik3b6ohmnqm6p0cifn7o94em1g41mjp4ae0gmv3b4rupba499lbasfrp4bqce9u4hd6518unlbg8vk993c0q6rigos98" ConstructorId
0

seekModeRef :: Reference
seekModeRef :: Reference
seekModeRef = Text -> ConstructorId -> Reference
derived Text
"1bca3hq98sfgr6a4onuon1tsda69cdjggq8pkmlsfola6492dbrih5up6dv18ptfbqeocm9q6parf64pj773p7p19qe76238o4trc40" ConstructorId
0

seqViewRef :: Reference
seqViewRef :: Reference
seqViewRef = Text -> ConstructorId -> Reference
derived Text
"6uigas14aqgd889s036hq9ssrlo22pju41009m0rktetcrbm97qniljjc1rv1u661r4f63oq6pupoevghs8a2hupvlbi6qi4ntn9320" ConstructorId
0

mapRef :: Reference
mapRef :: Reference
mapRef = Text -> ConstructorId -> Reference
derived Text
"nk9jfsoidsc5h3nhcf1p6528t6c5hqui3hridbvaqnruel4jns3qo6plgups2sgi82c9jgt9ba1qlkum1bdjdgp75h7si2thbo7tcfg" ConstructorId
0

setRef :: Reference
setRef :: Reference
setRef = Text -> ConstructorId -> Reference
derived Text
"prrhin67cemaummdiu0c35cj17g8m7t96qne5i8vfj9m6ur338250jukj6q33ob0llgl9vvgc50rfgiiu7u0nvg5fvajkpqa0amjct0" ConstructorId
0

jsonRef :: Reference
jsonRef :: Reference
jsonRef = Text -> ConstructorId -> Reference
derived Text
"j0uel16uheg3tdbj87msfh1isek2ml1262o562sjqpup6uh4gncgpg588u3nmdclbv8tu0c7e0943t0paud4f28dr4a9scfq2v12fpo" ConstructorId
0

parseErrorRef :: Reference
parseErrorRef :: Reference
parseErrorRef = Text -> ConstructorId -> Reference
derived Text
"7ndh8qr2jn3b0b4ps8pa85hm0ts3kmuvrmhne87ka0q61i4u3pvafjoetjel4s66s2sji1hp81jnbih5812hbfe3if6fc4ndnouitl8" ConstructorId
0

noneId :: ConstructorId
noneId :: ConstructorId
noneId = ConstructorId
1

someId :: ConstructorId
someId :: ConstructorId
someId = ConstructorId
0

okConstructorId :: ConstructorId
okConstructorId :: ConstructorId
okConstructorId = ConstructorId
1

failConstructorId :: ConstructorId
failConstructorId :: ConstructorId
failConstructorId = ConstructorId
0

eitherRightId :: ConstructorId
eitherRightId :: ConstructorId
eitherRightId = ConstructorId
0

eitherLeftId :: ConstructorId
eitherLeftId :: ConstructorId
eitherLeftId = ConstructorId
1

bufferModeNoBufferingId :: ConstructorId
bufferModeNoBufferingId :: ConstructorId
bufferModeNoBufferingId = ConstructorId
0

bufferModeLineBufferingId :: ConstructorId
bufferModeLineBufferingId :: ConstructorId
bufferModeLineBufferingId = ConstructorId
1

bufferModeBlockBufferingId :: ConstructorId
bufferModeBlockBufferingId :: ConstructorId
bufferModeBlockBufferingId = ConstructorId
2

bufferModeSizedBlockBufferingId :: ConstructorId
bufferModeSizedBlockBufferingId :: ConstructorId
bufferModeSizedBlockBufferingId = ConstructorId
3

seqViewEmpty :: ConstructorId
seqViewEmpty :: ConstructorId
seqViewEmpty = ConstructorId
1

seqViewElem :: ConstructorId
seqViewElem :: ConstructorId
seqViewElem = ConstructorId
0

mapTip :: ConstructorId
mapTip :: ConstructorId
mapTip = ConstructorId
1

mapBin :: ConstructorId
mapBin :: ConstructorId
mapBin = ConstructorId
0

setWrap :: ConstructorId
setWrap :: ConstructorId
setWrap = ConstructorId
0

jsonNull :: ConstructorId
jsonNull :: ConstructorId
jsonNull = ConstructorId
0

jsonBool :: ConstructorId
jsonBool :: ConstructorId
jsonBool = ConstructorId
1

jsonObj :: ConstructorId
jsonObj :: ConstructorId
jsonObj = ConstructorId
2

jsonNum :: ConstructorId
jsonNum :: ConstructorId
jsonNum = ConstructorId
3

jsonText :: ConstructorId
jsonText :: ConstructorId
jsonText = ConstructorId
4

jsonArr :: ConstructorId
jsonArr :: ConstructorId
jsonArr = ConstructorId
5

jsonParseError :: ConstructorId
jsonParseError :: ConstructorId
jsonParseError = ConstructorId
0

fileModeReadId :: ConstructorId
fileModeReadId :: ConstructorId
fileModeReadId = ConstructorId
0

fileModeWriteId :: ConstructorId
fileModeWriteId :: ConstructorId
fileModeWriteId = ConstructorId
1

fileModeAppendId :: ConstructorId
fileModeAppendId :: ConstructorId
fileModeAppendId = ConstructorId
2

fileModeReadWriteId :: ConstructorId
fileModeReadWriteId :: ConstructorId
fileModeReadWriteId = ConstructorId
3

seekModeAbsoluteId :: ConstructorId
seekModeAbsoluteId :: ConstructorId
seekModeAbsoluteId = ConstructorId
0

seekModeRelativeId :: ConstructorId
seekModeRelativeId :: ConstructorId
seekModeRelativeId = ConstructorId
1

seekModeEndId :: ConstructorId
seekModeEndId :: ConstructorId
seekModeEndId = ConstructorId
2

stdInId :: ConstructorId
stdInId :: ConstructorId
stdInId = ConstructorId
0

stdOutId :: ConstructorId
stdOutId :: ConstructorId
stdOutId = ConstructorId
1

stdErrId :: ConstructorId
stdErrId :: ConstructorId
stdErrId = ConstructorId
2

exceptionRaiseId :: ConstructorId
exceptionRaiseId :: ConstructorId
exceptionRaiseId = ConstructorId
0

pairCtorRef, unitCtorRef :: Referent
pairCtorRef :: Referent
pairCtorRef = ConstructorReference -> ConstructorType -> Referent
Referent.Con (Reference -> ConstructorId -> ConstructorReference
forall r. r -> ConstructorId -> GConstructorReference r
ConstructorReference Reference
pairRef ConstructorId
0) ConstructorType
CT.Data
unitCtorRef :: Referent
unitCtorRef = ConstructorReference -> ConstructorType -> Referent
Referent.Con (Reference -> ConstructorId -> ConstructorReference
forall r. r -> ConstructorId -> GConstructorReference r
ConstructorReference Reference
unitRef ConstructorId
0) ConstructorType
CT.Data

-- | The builtin types, in the order Unison.Builtin.builtinTypes lists them
builtinTypeRefs :: [Reference]
builtinTypeRefs :: [Reference]
builtinTypeRefs =
  [ Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Any",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Boolean",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Bytes",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Char",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Tls.Cipher",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Char.Class",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Tls.ClientConfig",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"ClientSockAddr",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Code",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"FFI.DLL",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Float",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Float32",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"FFI.ForeignPtr",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"FFI.FunctionPtr",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Handle",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"crypto.HashAlgorithm",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"IO",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"ImmutableArray",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"ImmutableByteArray",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Int",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Int16",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Int32",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Int8",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Integer",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Sequence",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"ListenSocket",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"MVar",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"MutableArray",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"MutableByteArray",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Nat",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Nat16",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Nat32",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Nat8",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Natural",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Pattern",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"PinnedByteArray",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Tls.PrivateKey",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"ProcessHandle",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Promise",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"FFI.Ptr",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Ref",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Effect",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"STM",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Scope",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Tls.ServerConfig",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"IO.signal.Signal",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Tls.SignedCert",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Socket",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"FFI.Spec",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"IO.signal.Subscription",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"TVar",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Link.Term",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Text",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"ThreadId",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Ref.Ticket",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"TimeSpec",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Tls",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"FFI.Type",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Link.Type",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"UDPSocket",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Value",
    Text -> Reference
forall t h. t -> Reference' t h
R.Builtin Text
"Tls.Version"
  ]

-- | The builtin data declarations, in order
builtinDataDeclRefs :: [Reference]
builtinDataDeclRefs :: [Reference]
builtinDataDeclRefs =
  [ Text -> ConstructorId -> Reference
derived Text
"f4b37niu61dc517c32h3os36ig34fgnt7inaaoqdbecmscchthi14gdo0vj3eee1ru746ibvl9vnmm1pglrv3125qnhsbc0i1tqtic0" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"hob0tq2g20rolth4rqe82hobi1sodu5mq84ejj806hkdcp8oo10a5ml0ca16usbf2jslr6nershitm2e0vqttvjhs0r8e23vjk6fun8" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"p65rcethk26an850aaaceojremfu054hqllhoip1mt9s22584j9r62o08qo9t0pri7ssgu9m7f0rfp4nujhulgbmo41tkgl182quhd8" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"0o7mf021foma9acqdaibmlh1jidlijq08uf7f5se9tssttqs546pfunjpk6s31mqoq8s2o1natede8hkk6he45l95fibglidikt44v8" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"c23jofurcegj93796o0karmkcm6baifupiuu1rtkniu74avn6a4r1n66ga5rml5di7easkgn4iak800u3tnb6kfisbrv6tcfgkb13a8" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"q6snodsh7i7u6k7gtqj73tt7nv6htjofs5f37vg2v3dsfk6hau71fs5mcv0hq3lqg111fsvoi92mngm08850aftfgh65uka9mhqvft0" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"j0uel16uheg3tdbj87msfh1isek2ml1262o562sjqpup6uh4gncgpg588u3nmdclbv8tu0c7e0943t0paud4f28dr4a9scfq2v12fpo" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"7ndh8qr2jn3b0b4ps8pa85hm0ts3kmuvrmhne87ka0q61i4u3pvafjoetjel4s66s2sji1hp81jnbih5812hbfe3if6fc4ndnouitl8" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"nk9jfsoidsc5h3nhcf1p6528t6c5hqui3hridbvaqnruel4jns3qo6plgups2sgi82c9jgt9ba1qlkum1bdjdgp75h7si2thbo7tcfg" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"nirp5os0q69o4e1u9p3t6mmq6l6otluefi3ksm7dhm0diidjvkkgl8o9bvnflbj0sanuvdusf34f1qrins3ktcaglpcqv9oums2slsg" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"bga77hj5p43epjosu36iero5ulpm7hqrct1slj5ivdcajsr52ksjam8d5smq2965netv9t43o3g0amgva26qoatt4qth29khkuds2t0" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"nu6eab37fl81lb5hfcainu83hph0ksqjsjgjbqvc3t8o13djtt5511qfa6tuggc5c3re06c5p6eto5o2cqme0jdlo31nnd13npqigjo" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"bvffhraos4oatd3qmedt676dqul9c1oj8r4cqns36lsrue84kl0ote15iqbbmgu8joek3gce1h2raqas5b9nnvs2d79l9mrpmmi2sf0" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"qcot4bpj2skgnui8hoignn6fl2gnn2nfrur451ft2egd5n1ndu6ti4uu7r1mvtc8r4p7iielfijk2mb7md9tt2m2rdvaikah4oluf7o" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"6uigas14aqgd889s036hq9ssrlo22pju41009m0rktetcrbm97qniljjc1rv1u661r4f63oq6pupoevghs8a2hupvlbi6qi4ntn9320" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"prrhin67cemaummdiu0c35cj17g8m7t96qne5i8vfj9m6ur338250jukj6q33ob0llgl9vvgc50rfgiiu7u0nvg5fvajkpqa0amjct0" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"aql7qk3iud6vs4cvu43aimopoosgk0fnipibdkc3so13adencmibgfn0u5c01r0adei55nkl3ttsjhl8gbj7tr4gnpj63g64ftbq6s0" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"2lg4ah6ir6t129m33d7gssnigacral39qdamo20mn6r2vefliubpeqnjhejai9ekjckv0qnu9mlu3k9nbpfhl2schec4dohn7rjhjt8" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"00nv2kob8fp11qdkr750rlppf81cda95m3q0niohj1pvljnjl4r3hqrhvp1un2p40ptgkhhsne7hocod90r3qdlus9guivh7j3qcq0g" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"bcubd2qdb27v92gb4kohhbq710cdu0g1njvnjm5iqemr6b0sq44nheo4jsgi9demkcrej53oj8hgjgdcsc50l5j53mg9h4koo52bfb8" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"s6ijmhqkkaus51chjgahogc7sdrqj9t66i599le2k7ts6fkl216f997hbses3mqk6a21vaj3cm1mertbldn0g503jt522vfo4rfv720" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"6dtvam7msqc64dimm8p0d8ehdf0330o4qbd2fdafb11jj1c2rg4ke3jdcmbgo6s4pf2jgm0vb76jeavv4ba6ht71t74p963a1miekag" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"742gldjoimm3e27aujd3h8qacsou2gjiva704khgvag4p0959hd4818gin6k6e5fhpsolm1bptnd45va6tp13qekpfq0vrlpamjp478" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"dc6n5ebu839ik3b6ohmnqm6p0cifn7o94em1g41mjp4ae0gmv3b4rupba499lbasfrp4bqce9u4hd6518unlbg8vk993c0q6rigos98" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"r29dja8j9dmjjp45trccchaata8eo1h6d6haar1eai74pq1jt4m7u3ldhlq79f7phfo57eq4bau39vqotl2h63k7ff1m5sj5o9ajuf8" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"jhnlob35huv3rr7jg6aa4gtd8okhprla7gvlq8io429qita8vj7k696n9jvp4b8ct9i2pc1jodb8ap2bipqtgp138epdgfcth7vqvt8" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"h4smnou0l3fg4dn92g2r88j0imfvufjerkgbuscvvmaprv12l22nk6sff3c12edlikb2vfg3vfdj4b23a09q4lvtk75ckbe4lsmtuc0" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"6ivk1e38hh0l9gcl8fn4mhf8bmak3qaji36vevg5e1n16ju5i4cl9u5gmqi7u16b907rd98gd60pouma892efbqt2ri58tmu99hp77g" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"574pvphqahl981k517dtrqtq812m05h3hj6t2bt9sn3pknenfik1krscfdb6r66nf1sm7g3r1r56k0c6ob7vg4opfq4gihi8njbnhsg" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"vph2eas3lf2gi259f3khlrspml3id2l8u0ru07kb5fd833h238jk4iauju0b6decth9i3nao5jkf5eej1e1kovgmu5tghhh8jq3i7p8" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"cggbdfff21ac5uedf4qvn4to83clinvhsovrila35u7f7e73g4l6hoj8pjmjnk713a8luhnn4bi1j9ai1nl0can1un66hvg230eog9g" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"1bca3hq98sfgr6a4onuon1tsda69cdjggq8pkmlsfola6492dbrih5up6dv18ptfbqeocm9q6parf64pj773p7p19qe76238o4trc40" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"121tku5rfh21t247v1cakhd6ir44fakkqsm799rrfp5qcjdls4nvdu4r3nco80stdd86tdo2hhh0ulcpoaofnrnkjun04kqnfmjqio8" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"ggh649864d9bfnk90n7kgtj7dflddc4kn8osu7u7mub8p7l8biid8dgtungj4u005h7karbgupfpum9jp94spks3ma1sgh39bhirv38" ConstructorId
0,
    Text -> ConstructorId -> Reference
derived Text
"r3gag1btclr8iclbdt68irgt8n1d1vf7agv5umke3dgdbl11acj6easav6gtihanrjnct18om07638rne9ej06u2bkv2v4l36knm2l0" ConstructorId
0
  ]

-- | The builtin effect declarations, in order
builtinEffectDeclRefs :: [Reference]
builtinEffectDeclRefs :: [Reference]
builtinEffectDeclRefs =
  [ Text -> ConstructorId -> Reference
derived Text
"4n0fgs00hpsj3paqnm9bfm4nbt9cbrin3hl88i992m9tjiq1ik7eq72asu4hcg885uti36tbnj5rudt56eahhnut1nobofg86pk1bng" ConstructorId
0
  ]

-- | The constructor names of the builtin declarations
builtinConstructorNames :: [(Reference, [Text])]
builtinConstructorNames :: [(Reference, [Text])]
builtinConstructorNames =
  [ (Text -> ConstructorId -> Reference
derived Text
"f4b37niu61dc517c32h3os36ig34fgnt7inaaoqdbecmscchthi14gdo0vj3eee1ru746ibvl9vnmm1pglrv3125qnhsbc0i1tqtic0" ConstructorId
0, [Text
"Link.Term", Text
"Link.Type"]),
    (Text -> ConstructorId -> Reference
derived Text
"hob0tq2g20rolth4rqe82hobi1sodu5mq84ejj806hkdcp8oo10a5ml0ca16usbf2jslr6nershitm2e0vqttvjhs0r8e23vjk6fun8" ConstructorId
0, []),
    (Text -> ConstructorId -> Reference
derived Text
"p65rcethk26an850aaaceojremfu054hqllhoip1mt9s22584j9r62o08qo9t0pri7ssgu9m7f0rfp4nujhulgbmo41tkgl182quhd8" ConstructorId
0, [Text
"Doc.Blob", Text
"Doc.Link", Text
"Doc.Source", Text
"Doc.Signature", Text
"Doc.Evaluate", Text
"Doc.Join"]),
    (Text -> ConstructorId -> Reference
derived Text
"0o7mf021foma9acqdaibmlh1jidlijq08uf7f5se9tssttqs546pfunjpk6s31mqoq8s2o1natede8hkk6he45l95fibglidikt44v8" ConstructorId
0, [Text
"Either.Right", Text
"Either.Left"]),
    (Text -> ConstructorId -> Reference
derived Text
"c23jofurcegj93796o0karmkcm6baifupiuu1rtkniu74avn6a4r1n66ga5rml5di7easkgn4iak800u3tnb6kfisbrv6tcfgkb13a8" ConstructorId
0, [Text
"IsPropagated.IsPropagated"]),
    (Text -> ConstructorId -> Reference
derived Text
"q6snodsh7i7u6k7gtqj73tt7nv6htjofs5f37vg2v3dsfk6hau71fs5mcv0hq3lqg111fsvoi92mngm08850aftfgh65uka9mhqvft0" ConstructorId
0, [Text
"IsTest.IsTest"]),
    (Text -> ConstructorId -> Reference
derived Text
"j0uel16uheg3tdbj87msfh1isek2ml1262o562sjqpup6uh4gncgpg588u3nmdclbv8tu0c7e0943t0paud4f28dr4a9scfq2v12fpo" ConstructorId
0, [Text
"Json.Null", Text
"Json.Boolean", Text
"Json.Object", Text
"Json.Number.Unparsed", Text
"Json.Text", Text
"Json.Array"]),
    (Text -> ConstructorId -> Reference
derived Text
"7ndh8qr2jn3b0b4ps8pa85hm0ts3kmuvrmhne87ka0q61i4u3pvafjoetjel4s66s2sji1hp81jnbih5812hbfe3if6fc4ndnouitl8" ConstructorId
0, [Text
"Json.ParseError.ParseError"]),
    (Text -> ConstructorId -> Reference
derived Text
"nk9jfsoidsc5h3nhcf1p6528t6c5hqui3hridbvaqnruel4jns3qo6plgups2sgi82c9jgt9ba1qlkum1bdjdgp75h7si2thbo7tcfg" ConstructorId
0, [Text
"Map.Bin", Text
"Map.Tip"]),
    (Text -> ConstructorId -> Reference
derived Text
"nirp5os0q69o4e1u9p3t6mmq6l6otluefi3ksm7dhm0diidjvkkgl8o9bvnflbj0sanuvdusf34f1qrins3ktcaglpcqv9oums2slsg" ConstructorId
0, [Text
"Optional.Some", Text
"Optional.None"]),
    (Text -> ConstructorId -> Reference
derived Text
"bga77hj5p43epjosu36iero5ulpm7hqrct1slj5ivdcajsr52ksjam8d5smq2965netv9t43o3g0amgva26qoatt4qth29khkuds2t0" ConstructorId
0, [Text
"RewriteCase.RewriteCase"]),
    (Text -> ConstructorId -> Reference
derived Text
"nu6eab37fl81lb5hfcainu83hph0ksqjsjgjbqvc3t8o13djtt5511qfa6tuggc5c3re06c5p6eto5o2cqme0jdlo31nnd13npqigjo" ConstructorId
0, [Text
"RewriteSignature.RewriteSignature"]),
    (Text -> ConstructorId -> Reference
derived Text
"bvffhraos4oatd3qmedt676dqul9c1oj8r4cqns36lsrue84kl0ote15iqbbmgu8joek3gce1h2raqas5b9nnvs2d79l9mrpmmi2sf0" ConstructorId
0, [Text
"RewriteTerm.RewriteTerm"]),
    (Text -> ConstructorId -> Reference
derived Text
"qcot4bpj2skgnui8hoignn6fl2gnn2nfrur451ft2egd5n1ndu6ti4uu7r1mvtc8r4p7iielfijk2mb7md9tt2m2rdvaikah4oluf7o" ConstructorId
0, [Text
"Rewrites.Rewrites"]),
    (Text -> ConstructorId -> Reference
derived Text
"6uigas14aqgd889s036hq9ssrlo22pju41009m0rktetcrbm97qniljjc1rv1u661r4f63oq6pupoevghs8a2hupvlbi6qi4ntn9320" ConstructorId
0, [Text
"SeqView.VElem", Text
"SeqView.VEmpty"]),
    (Text -> ConstructorId -> Reference
derived Text
"prrhin67cemaummdiu0c35cj17g8m7t96qne5i8vfj9m6ur338250jukj6q33ob0llgl9vvgc50rfgiiu7u0nvg5fvajkpqa0amjct0" ConstructorId
0, [Text
"Set.Set"]),
    (Text -> ConstructorId -> Reference
derived Text
"aql7qk3iud6vs4cvu43aimopoosgk0fnipibdkc3so13adencmibgfn0u5c01r0adei55nkl3ttsjhl8gbj7tr4gnpj63g64ftbq6s0" ConstructorId
0, [Text
"Test.Result.Fail", Text
"Test.Result.Ok"]),
    (Text -> ConstructorId -> Reference
derived Text
"2lg4ah6ir6t129m33d7gssnigacral39qdamo20mn6r2vefliubpeqnjhejai9ekjckv0qnu9mlu3k9nbpfhl2schec4dohn7rjhjt8" ConstructorId
0, [Text
"Tuple.Cons"]),
    (Text -> ConstructorId -> Reference
derived Text
"00nv2kob8fp11qdkr750rlppf81cda95m3q0niohj1pvljnjl4r3hqrhvp1un2p40ptgkhhsne7hocod90r3qdlus9guivh7j3qcq0g" ConstructorId
0, [Text
"Unit.Unit"]),
    (Text -> ConstructorId -> Reference
derived Text
"bcubd2qdb27v92gb4kohhbq710cdu0g1njvnjm5iqemr6b0sq44nheo4jsgi9demkcrej53oj8hgjgdcsc50l5j53mg9h4koo52bfb8" ConstructorId
0, []),
    (Text -> ConstructorId -> Reference
derived Text
"s6ijmhqkkaus51chjgahogc7sdrqj9t66i599le2k7ts6fkl216f997hbses3mqk6a21vaj3cm1mertbldn0g503jt522vfo4rfv720" ConstructorId
0, []),
    (Text -> ConstructorId -> Reference
derived Text
"6dtvam7msqc64dimm8p0d8ehdf0330o4qbd2fdafb11jj1c2rg4ke3jdcmbgo6s4pf2jgm0vb76jeavv4ba6ht71t74p963a1miekag" ConstructorId
0, []),
    (Text -> ConstructorId -> Reference
derived Text
"742gldjoimm3e27aujd3h8qacsou2gjiva704khgvag4p0959hd4818gin6k6e5fhpsolm1bptnd45va6tp13qekpfq0vrlpamjp478" ConstructorId
0, []),
    (Text -> ConstructorId -> Reference
derived Text
"dc6n5ebu839ik3b6ohmnqm6p0cifn7o94em1g41mjp4ae0gmv3b4rupba499lbasfrp4bqce9u4hd6518unlbg8vk993c0q6rigos98" ConstructorId
0, [Text
"io2.BufferMode.NoBuffering", Text
"io2.BufferMode.LineBuffering", Text
"io2.BufferMode.BlockBuffering", Text
"io2.BufferMode.SizedBlockBuffering"]),
    (Text -> ConstructorId -> Reference
derived Text
"r29dja8j9dmjjp45trccchaata8eo1h6d6haar1eai74pq1jt4m7u3ldhlq79f7phfo57eq4bau39vqotl2h63k7ff1m5sj5o9ajuf8" ConstructorId
0, [Text
"io2.Failure.Failure"]),
    (Text -> ConstructorId -> Reference
derived Text
"jhnlob35huv3rr7jg6aa4gtd8okhprla7gvlq8io429qita8vj7k696n9jvp4b8ct9i2pc1jodb8ap2bipqtgp138epdgfcth7vqvt8" ConstructorId
0, [Text
"io2.FileMode.Read", Text
"io2.FileMode.Write", Text
"io2.FileMode.Append", Text
"io2.FileMode.ReadWrite"]),
    (Text -> ConstructorId -> Reference
derived Text
"h4smnou0l3fg4dn92g2r88j0imfvufjerkgbuscvvmaprv12l22nk6sff3c12edlikb2vfg3vfdj4b23a09q4lvtk75ckbe4lsmtuc0" ConstructorId
0, [Text
"io2.IOError.AlreadyExists", Text
"io2.IOError.NoSuchThing", Text
"io2.IOError.ResourceBusy", Text
"io2.IOError.ResourceExhausted", Text
"io2.IOError.EOF", Text
"io2.IOError.IllegalOperation", Text
"io2.IOError.PermissionDenied", Text
"io2.IOError.UserError"]),
    (Text -> ConstructorId -> Reference
derived Text
"6ivk1e38hh0l9gcl8fn4mhf8bmak3qaji36vevg5e1n16ju5i4cl9u5gmqi7u16b907rd98gd60pouma892efbqt2ri58tmu99hp77g" ConstructorId
0, []),
    (Text -> ConstructorId -> Reference
derived Text
"574pvphqahl981k517dtrqtq812m05h3hj6t2bt9sn3pknenfik1krscfdb6r66nf1sm7g3r1r56k0c6ob7vg4opfq4gihi8njbnhsg" ConstructorId
0, []),
    (Text -> ConstructorId -> Reference
derived Text
"vph2eas3lf2gi259f3khlrspml3id2l8u0ru07kb5fd833h238jk4iauju0b6decth9i3nao5jkf5eej1e1kovgmu5tghhh8jq3i7p8" ConstructorId
0, []),
    (Text -> ConstructorId -> Reference
derived Text
"cggbdfff21ac5uedf4qvn4to83clinvhsovrila35u7f7e73g4l6hoj8pjmjnk713a8luhnn4bi1j9ai1nl0can1un66hvg230eog9g" ConstructorId
0, []),
    (Text -> ConstructorId -> Reference
derived Text
"1bca3hq98sfgr6a4onuon1tsda69cdjggq8pkmlsfola6492dbrih5up6dv18ptfbqeocm9q6parf64pj773p7p19qe76238o4trc40" ConstructorId
0, [Text
"io2.SeekMode.AbsoluteSeek", Text
"io2.SeekMode.RelativeSeek", Text
"io2.SeekMode.SeekFromEnd"]),
    (Text -> ConstructorId -> Reference
derived Text
"121tku5rfh21t247v1cakhd6ir44fakkqsm799rrfp5qcjdls4nvdu4r3nco80stdd86tdo2hhh0ulcpoaofnrnkjun04kqnfmjqio8" ConstructorId
0, [Text
"io2.StdHandle.StdIn", Text
"io2.StdHandle.StdOut", Text
"io2.StdHandle.StdErr"]),
    (Text -> ConstructorId -> Reference
derived Text
"ggh649864d9bfnk90n7kgtj7dflddc4kn8osu7u7mub8p7l8biid8dgtungj4u005h7karbgupfpum9jp94spks3ma1sgh39bhirv38" ConstructorId
0, []),
    (Text -> ConstructorId -> Reference
derived Text
"r3gag1btclr8iclbdt68irgt8n1d1vf7agv5umke3dgdbl11acj6easav6gtihanrjnct18om07638rne9ej06u2bkv2v4l36knm2l0" ConstructorId
0, []),
    (Text -> ConstructorId -> Reference
derived Text
"4n0fgs00hpsj3paqnm9bfm4nbt9cbrin3hl88i992m9tjiq1ik7eq72asu4hcg885uti36tbnj5rudt56eahhnut1nobofg86pk1bng" ConstructorId
0, [Text
"Exception.raise"])
  ]