Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Builtin.Decls

Synopsis

lookupDeclRef :: Text -> Reference
lookupEffectRef :: Text -> Reference
unitRef :: Reference
pairRef :: Reference
optionalRef :: Reference
eitherRef :: Reference
testResultRef :: Reference
testResultListRef :: Reference
linkRef :: Reference
docRef :: Reference
ioErrorRef :: Reference
stdHandleRef :: Reference
failureRef :: Reference
ioFailureRef :: Reference
tlsFailureRef :: Reference
arrayFailureRef :: Reference
cryptoFailureRef :: Reference
exceptionRef :: Reference
tlsSignedCertRef :: Reference
tlsPrivateKeyRef :: Reference
isPropagatedRef :: Reference
isTestRef :: Reference
runtimeFailureRef :: Reference
arithmeticFailureRef :: Reference
miscFailureRef :: Reference
stmFailureRef :: Reference
threadKilledFailureRef :: Reference
fileModeRef :: Reference
filePathRef :: Reference
bufferModeRef :: Reference
seekModeRef :: Reference
seqViewRef :: Reference
pairCtorRef :: Referent
unitCtorRef :: Referent
constructorId :: Reference -> Text -> Maybe ConstructorId
noneId :: ConstructorId
someId :: ConstructorId
okConstructorId :: ConstructorId
failConstructorId :: ConstructorId
docBlobId :: ConstructorId
docLinkId :: ConstructorId
docSignatureId :: ConstructorId
docSourceId :: ConstructorId
docEvaluateId :: ConstructorId
docJoinId :: ConstructorId
linkTermId :: ConstructorId
linkTypeId :: ConstructorId
eitherRightId :: ConstructorId
eitherLeftId :: ConstructorId
isPropagatedConstructorId :: ConstructorId
isTestConstructorId :: ConstructorId
bufferModeNoBufferingId :: ConstructorId
bufferModeLineBufferingId :: ConstructorId
bufferModeBlockBufferingId :: ConstructorId
bufferModeSizedBlockBufferingId :: ConstructorId
seqViewEmpty :: ConstructorId
seqViewElem :: ConstructorId
okConstructorReferent :: Referent
failConstructorReferent :: Referent
rewriteTermRef :: Reference
pattern RewriteTerm' :: Term2 vt at ap v a -> Term2 vt at ap v a -> Term2 vt at ap v a
unRewriteTerm :: Term2 vt at ap v a -> Maybe (Term2 vt at ap v a, Term2 vt at ap v a)
rewriteCaseRef :: Reference
pattern RewriteCase' :: Term2 vt at ap v a -> Term2 vt at ap v a -> Term2 vt at ap v a
rewriteCase :: Ord v => a -> Term2 vt at ap v a -> Term2 vt at ap v a -> Term2 vt at ap v a
rewriteTerm :: Ord v => a -> Term2 vt at ap v a -> Term2 vt at ap v a -> Term2 vt at ap v a
unRewriteCase :: Term2 vt at ap v a -> Maybe (Term2 vt at ap v a, Term2 vt at ap v a)
rewriteTypeRef :: Reference
pattern RewriteSignature' :: forall vt at ap v a. [vt] -> Type vt at -> Type vt at -> Term2 vt at ap v a
rewriteType :: (Var v, Semigroup a) => a -> [v] -> Type v a -> Type v a -> Term2 v a a v a
unRewriteSignature :: Term2 vt at ap v a -> Maybe ([vt], Type vt at, Type vt at)
rewritesRef :: Reference
pattern Rewrites' :: [Term2 vt at ap v a] -> Term2 vt at ap v a
rewrites :: (Var v, Monoid a) => a -> [Term2 vt at ap v a] -> Term2 vt at ap v a
unRewrites :: Term2 vt at ap v a -> Maybe [Term2 vt at ap v a]
builtinDataDecls :: [(Symbol, Id, DataDeclaration Symbol ())]
builtinEffectDecls :: [(Symbol, Id, EffectDeclaration Symbol ())]
pattern UnitRef :: Reference
pattern PairRef :: Reference
pattern EitherRef :: Reference
pattern OptionalRef :: Reference
pattern OptionalNone' :: Term (F typeVar typeAnn patternAnn) v a
pattern OptionalSome' :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a
pattern TupleType' :: Var v => [Type v a] -> Type v a
pattern TupleTerm' :: [Term2 vt at ap v a] -> Term2 vt at ap v a
pattern TuplePattern :: [Pattern loc] -> Pattern loc
pattern EitherLeft' :: Term2 vt at ap v a -> Term2 vt at ap v a
pattern EitherRight' :: Term2 vt at ap v a -> Term2 vt at ap v a
pattern EitherLeftId :: ConstructorId
pattern EitherRightId :: ConstructorId
unLeftTerm :: Term2 vt at ap v a -> Maybe (Term2 vt at ap v a)
unRightTerm :: Term2 vt at ap v a -> Maybe (Term2 vt at ap v a)
pattern DocRef :: Reference
pattern DocJoin :: Seq (Term (F typeVar typeAnn patternAnn) v a) -> Term (F typeVar typeAnn patternAnn) v a
pattern DocBlob :: Text -> Term (F typeVar typeAnn patternAnn) v a
pattern DocLink :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a
pattern DocSource :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a
pattern DocSignature :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a
pattern DocEvaluate :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a
pattern Doc :: Term (F typeVar typeAnn patternAnn) v a
pattern DocSignatureId :: ConstructorId
pattern DocBlobId :: ConstructorId
pattern DocLinkId :: ConstructorId
pattern DocSourceId :: ConstructorId
pattern DocEvaluateId :: ConstructorId
pattern DocJoinId :: ConstructorId
pattern LinkTermId :: ConstructorId
pattern LinkTypeId :: ConstructorId
pattern LinkRef :: Reference
pattern LinkTerm :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a
pattern LinkType :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a
unitType :: Ord v => a -> Type v a
pairType :: Ord v => a -> Type v a
optionalType :: Ord v => a -> Type v a
testResultListType :: Ord v => a -> Type v a
eitherType :: Ord v => a -> Type v a
ioErrorType :: Ord v => a -> Type v a
fileModeType :: Ord v => a -> Type v a
filePathType :: Ord v => a -> Type v a
bufferModeType :: Ord v => a -> Type v a
seekModeType :: Ord v => a -> Type v a
stdHandleType :: Ord v => a -> Type v a
failureType :: Ord v => a -> Type v a
thunkArgType :: Ord v => a -> Type v a
exceptionType :: Ord v => a -> Type v a
tlsSignedCertType :: Var v => a -> Type v a
unitTerm :: Var v => a -> Term2 vt at ap v a
tupleConsTerm :: (Ord v, Semigroup a) => Term2 vt at ap v a -> Term2 vt at ap v a -> Term2 vt at ap v a
tupleTerm :: (Var v, Monoid a) => [Term2 vt at ap v a] -> Term2 vt at ap v a
forceTerm :: Var v => a -> a -> Term v a -> Term v a
delayTerm :: Var v => a -> a -> Term v a -> Term v a
unTupleTerm :: Term2 vt at ap v a -> Maybe [Term2 vt at ap v a]
unTupleType :: Var v => Type v a -> Maybe [Type v a]
unTuplePattern :: Pattern loc -> Maybe [Pattern loc]
unUnitRef :: Reference -> Bool
unPairRef :: Reference -> Bool
unOptionalRef :: Reference -> Bool

Documentation

lookupDeclRef :: Text -> Reference Source #

lookupEffectRef :: Text -> Reference Source #

unitRef :: Reference Source #

pairRef :: Reference Source #

optionalRef :: Reference Source #

eitherRef :: Reference Source #

testResultRef :: Reference Source #

testResultListRef :: Reference Source #

linkRef :: Reference Source #

docRef :: Reference Source #

ioErrorRef :: Reference Source #

stdHandleRef :: Reference Source #

failureRef :: Reference Source #

ioFailureRef :: Reference Source #

tlsFailureRef :: Reference Source #

arrayFailureRef :: Reference Source #

cryptoFailureRef :: Reference Source #

exceptionRef :: Reference Source #

tlsSignedCertRef :: Reference Source #

tlsPrivateKeyRef :: Reference Source #

isPropagatedRef :: Reference Source #

isTestRef :: Reference Source #

runtimeFailureRef :: Reference Source #

arithmeticFailureRef :: Reference Source #

miscFailureRef :: Reference Source #

stmFailureRef :: Reference Source #

threadKilledFailureRef :: Reference Source #

fileModeRef :: Reference Source #

filePathRef :: Reference Source #

bufferModeRef :: Reference Source #

seekModeRef :: Reference Source #

seqViewRef :: Reference Source #

pairCtorRef :: Referent Source #

unitCtorRef :: Referent Source #

constructorId :: Reference -> Text -> Maybe ConstructorId Source #

noneId :: ConstructorId Source #

someId :: ConstructorId Source #

okConstructorId :: ConstructorId Source #

failConstructorId :: ConstructorId Source #

docBlobId :: ConstructorId Source #

docLinkId :: ConstructorId Source #

docSignatureId :: ConstructorId Source #

docSourceId :: ConstructorId Source #

docEvaluateId :: ConstructorId Source #

docJoinId :: ConstructorId Source #

linkTermId :: ConstructorId Source #

linkTypeId :: ConstructorId Source #

eitherRightId :: ConstructorId Source #

eitherLeftId :: ConstructorId Source #

isPropagatedConstructorId :: ConstructorId Source #

isTestConstructorId :: ConstructorId Source #

bufferModeNoBufferingId :: ConstructorId Source #

bufferModeLineBufferingId :: ConstructorId Source #

bufferModeBlockBufferingId :: ConstructorId Source #

bufferModeSizedBlockBufferingId :: ConstructorId Source #

seqViewEmpty :: ConstructorId Source #

seqViewElem :: ConstructorId Source #

okConstructorReferent :: Referent Source #

failConstructorReferent :: Referent Source #

rewriteTermRef :: Reference Source #

pattern RewriteTerm' :: Term2 vt at ap v a -> Term2 vt at ap v a -> Term2 vt at ap v a Source #

unRewriteTerm :: Term2 vt at ap v a -> Maybe (Term2 vt at ap v a, Term2 vt at ap v a) Source #

rewriteCaseRef :: Reference Source #

pattern RewriteCase' :: Term2 vt at ap v a -> Term2 vt at ap v a -> Term2 vt at ap v a Source #

rewriteCase :: Ord v => a -> Term2 vt at ap v a -> Term2 vt at ap v a -> Term2 vt at ap v a Source #

rewriteTerm :: Ord v => a -> Term2 vt at ap v a -> Term2 vt at ap v a -> Term2 vt at ap v a Source #

unRewriteCase :: Term2 vt at ap v a -> Maybe (Term2 vt at ap v a, Term2 vt at ap v a) Source #

rewriteTypeRef :: Reference Source #

pattern RewriteSignature' :: forall vt at ap v a. [vt] -> Type vt at -> Type vt at -> Term2 vt at ap v a Source #

rewriteType :: (Var v, Semigroup a) => a -> [v] -> Type v a -> Type v a -> Term2 v a a v a Source #

unRewriteSignature :: Term2 vt at ap v a -> Maybe ([vt], Type vt at, Type vt at) Source #

rewritesRef :: Reference Source #

pattern Rewrites' :: [Term2 vt at ap v a] -> Term2 vt at ap v a Source #

rewrites :: (Var v, Monoid a) => a -> [Term2 vt at ap v a] -> Term2 vt at ap v a Source #

unRewrites :: Term2 vt at ap v a -> Maybe [Term2 vt at ap v a] Source #

builtinDataDecls :: [(Symbol, Id, DataDeclaration Symbol ())] Source #

parse some builtin data types, and resolve their free variables using | builtinTypes' and those types defined herein

builtinEffectDecls :: [(Symbol, Id, EffectDeclaration Symbol ())] Source #

pattern UnitRef :: Reference Source #

pattern PairRef :: Reference Source #

pattern EitherRef :: Reference Source #

pattern OptionalRef :: Reference Source #

pattern OptionalNone' :: Term (F typeVar typeAnn patternAnn) v a Source #

pattern OptionalSome' :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern TupleType' :: Var v => [Type v a] -> Type v a Source #

pattern TupleTerm' :: [Term2 vt at ap v a] -> Term2 vt at ap v a Source #

pattern TuplePattern :: [Pattern loc] -> Pattern loc Source #

pattern EitherLeft' :: Term2 vt at ap v a -> Term2 vt at ap v a Source #

pattern EitherRight' :: Term2 vt at ap v a -> Term2 vt at ap v a Source #

pattern EitherLeftId :: ConstructorId Source #

pattern EitherRightId :: ConstructorId Source #

unLeftTerm :: Term2 vt at ap v a -> Maybe (Term2 vt at ap v a) Source #

unRightTerm :: Term2 vt at ap v a -> Maybe (Term2 vt at ap v a) Source #

pattern DocRef :: Reference Source #

pattern DocJoin :: Seq (Term (F typeVar typeAnn patternAnn) v a) -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern DocBlob :: Text -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern DocLink :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern DocSource :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern DocSignature :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern DocEvaluate :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc :: Term (F typeVar typeAnn patternAnn) v a Source #

pattern DocSignatureId :: ConstructorId Source #

pattern DocBlobId :: ConstructorId Source #

pattern DocLinkId :: ConstructorId Source #

pattern DocSourceId :: ConstructorId Source #

pattern DocEvaluateId :: ConstructorId Source #

pattern DocJoinId :: ConstructorId Source #

pattern LinkTermId :: ConstructorId Source #

pattern LinkTypeId :: ConstructorId Source #

pattern LinkRef :: Reference Source #

pattern LinkTerm :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern LinkType :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a Source #

unitType :: Ord v => a -> Type v a Source #

pairType :: Ord v => a -> Type v a Source #

optionalType :: Ord v => a -> Type v a Source #

testResultListType :: Ord v => a -> Type v a Source #

eitherType :: Ord v => a -> Type v a Source #

ioErrorType :: Ord v => a -> Type v a Source #

fileModeType :: Ord v => a -> Type v a Source #

filePathType :: Ord v => a -> Type v a Source #

bufferModeType :: Ord v => a -> Type v a Source #

seekModeType :: Ord v => a -> Type v a Source #

stdHandleType :: Ord v => a -> Type v a Source #

failureType :: Ord v => a -> Type v a Source #

thunkArgType :: Ord v => a -> Type v a Source #

exceptionType :: Ord v => a -> Type v a Source #

tlsSignedCertType :: Var v => a -> Type v a Source #

unitTerm :: Var v => a -> Term2 vt at ap v a Source #

tupleConsTerm :: (Ord v, Semigroup a) => Term2 vt at ap v a -> Term2 vt at ap v a -> Term2 vt at ap v a Source #

tupleTerm :: (Var v, Monoid a) => [Term2 vt at ap v a] -> Term2 vt at ap v a Source #

forceTerm :: Var v => a -> a -> Term v a -> Term v a Source #

delayTerm :: Var v => a -> a -> Term v a -> Term v a Source #

unTupleTerm :: Term2 vt at ap v a -> Maybe [Term2 vt at ap v a] Source #

unTupleType :: Var v => Type v a -> Maybe [Type v a] Source #

unTuplePattern :: Pattern loc -> Maybe [Pattern loc] Source #

unUnitRef :: Reference -> Bool Source #

unPairRef :: Reference -> Bool Source #

unOptionalRef :: Reference -> Bool Source #