.Rbuildignore
.clang-format
.gitignore
.lintr
DESCRIPTION
LICENSE
Makefile
NAMESPACE
R/autoinject.R
R/contract.R
R/contractR-package.R
R/environment.R
R/function.R
R/roxygen.R
R/severity.R
R/state.R
R/type.R
R/type_declaration.R
R/utilities.R
R/zzz.R
_pkgdown.yml
docs/404.html
docs/CODE_OF_CONDUCT.html
docs/LICENSE-text.html
docs/authors.html
docs/bootstrap-toc.css
docs/bootstrap-toc.js
docs/docsearch.css
docs/docsearch.js
docs/index.html
docs/link.svg
docs/pkgdown.css
docs/pkgdown.js
docs/pkgdown.yml
docs/reference/index.html
docs/sitemap.xml
inst/TYPEDECLARATION/ADGofTest
inst/TYPEDECLARATION/AUC
inst/TYPEDECLARATION/AlgDesign
inst/TYPEDECLARATION/BBmisc
inst/TYPEDECLARATION/CTT
inst/TYPEDECLARATION/CircStats
inst/TYPEDECLARATION/CompQuadForm
inst/TYPEDECLARATION/DALEX
inst/TYPEDECLARATION/DBI
inst/TYPEDECLARATION/DEoptim
inst/TYPEDECLARATION/Deriv
inst/TYPEDECLARATION/DiceKriging
inst/TYPEDECLARATION/DistributionUtils
inst/TYPEDECLARATION/DoseFinding
inst/TYPEDECLARATION/FME
inst/TYPEDECLARATION/Formula
inst/TYPEDECLARATION/GGally
inst/TYPEDECLARATION/GIGrvg
inst/TYPEDECLARATION/GPArotation
inst/TYPEDECLARATION/GenOrd
inst/TYPEDECLARATION/GenSA
inst/TYPEDECLARATION/HDInterval
inst/TYPEDECLARATION/ICS
inst/TYPEDECLARATION/ICSNP
inst/TYPEDECLARATION/JADE
inst/TYPEDECLARATION/KFAS
inst/TYPEDECLARATION/Kendall
inst/TYPEDECLARATION/KernSmooth
inst/TYPEDECLARATION/LearnBayes
inst/TYPEDECLARATION/MASS
inst/TYPEDECLARATION/MHadaptive
inst/TYPEDECLARATION/Metrics
inst/TYPEDECLARATION/NbClust
inst/TYPEDECLARATION/ParamHelpers
inst/TYPEDECLARATION/R.cache
inst/TYPEDECLARATION/R.matlab
inst/TYPEDECLARATION/R.methodsS3
inst/TYPEDECLARATION/R6
inst/TYPEDECLARATION/RcppEigen
inst/TYPEDECLARATION/Rfit
inst/TYPEDECLARATION/Rglpk
inst/TYPEDECLARATION/Rmpfr
inst/TYPEDECLARATION/Rtsne
inst/TYPEDECLARATION/SKAT
inst/TYPEDECLARATION/SQUAREM
inst/TYPEDECLARATION/SnowballC
inst/TYPEDECLARATION/StatMatch
inst/TYPEDECLARATION/TSP
inst/TYPEDECLARATION/TTR
inst/TYPEDECLARATION/WriteXLS
inst/TYPEDECLARATION/XLConnect
inst/TYPEDECLARATION/abind
inst/TYPEDECLARATION/actuar
inst/TYPEDECLARATION/agricolae
inst/TYPEDECLARATION/anytime
inst/TYPEDECLARATION/aod
inst/TYPEDECLARATION/arrangements
inst/TYPEDECLARATION/arules
inst/TYPEDECLARATION/assertive.properties
inst/TYPEDECLARATION/assertive.types
inst/TYPEDECLARATION/assertthat
inst/TYPEDECLARATION/attempt
inst/TYPEDECLARATION/automap
inst/TYPEDECLARATION/backports
inst/TYPEDECLARATION/bayesplot
inst/TYPEDECLARATION/bbmle
inst/TYPEDECLARATION/bdsmatrix
inst/TYPEDECLARATION/behavr
inst/TYPEDECLARATION/betareg
inst/TYPEDECLARATION/bigassertr
inst/TYPEDECLARATION/binom
inst/TYPEDECLARATION/bit
inst/TYPEDECLARATION/bit64
inst/TYPEDECLARATION/bitops
inst/TYPEDECLARATION/blob
inst/TYPEDECLARATION/bootstrap
inst/TYPEDECLARATION/brew
inst/TYPEDECLARATION/calibrate
inst/TYPEDECLARATION/capushe
inst/TYPEDECLARATION/cellranger
inst/TYPEDECLARATION/checkmate
inst/TYPEDECLARATION/checkr
inst/TYPEDECLARATION/chk
inst/TYPEDECLARATION/circular
inst/TYPEDECLARATION/class
inst/TYPEDECLARATION/classInt
inst/TYPEDECLARATION/cli
inst/TYPEDECLARATION/cluster
inst/TYPEDECLARATION/cmprsk
inst/TYPEDECLARATION/codetools
inst/TYPEDECLARATION/coin
inst/TYPEDECLARATION/colorRamps
inst/TYPEDECLARATION/combinat
inst/TYPEDECLARATION/compare
inst/TYPEDECLARATION/coneproj
inst/TYPEDECLARATION/corpcor
inst/TYPEDECLARATION/corrplot
inst/TYPEDECLARATION/countrycode
inst/TYPEDECLARATION/coxme
inst/TYPEDECLARATION/crayon
inst/TYPEDECLARATION/curl
inst/TYPEDECLARATION/data.tree
inst/TYPEDECLARATION/dbplyr
inst/TYPEDECLARATION/dbscan
inst/TYPEDECLARATION/deldir
inst/TYPEDECLARATION/desc
inst/TYPEDECLARATION/diagram
inst/TYPEDECLARATION/diptest
inst/TYPEDECLARATION/distr
inst/TYPEDECLARATION/doRNG
inst/TYPEDECLARATION/docopt
inst/TYPEDECLARATION/dplyr
inst/TYPEDECLARATION/dtw
inst/TYPEDECLARATION/dummies
inst/TYPEDECLARATION/dygraphs
inst/TYPEDECLARATION/e1071
inst/TYPEDECLARATION/elasticnet
inst/TYPEDECLARATION/ellipse
inst/TYPEDECLARATION/ellipsis
inst/TYPEDECLARATION/emplik
inst/TYPEDECLARATION/emulator
inst/TYPEDECLARATION/entropy
inst/TYPEDECLARATION/epitools
inst/TYPEDECLARATION/evaluate
inst/TYPEDECLARATION/expm
inst/TYPEDECLARATION/extraDistr
inst/TYPEDECLARATION/fOptions
inst/TYPEDECLARATION/fansi
inst/TYPEDECLARATION/fastcluster
inst/TYPEDECLARATION/fasterize
inst/TYPEDECLARATION/fdrtool
inst/TYPEDECLARATION/ffbase
inst/TYPEDECLARATION/fftwtools
inst/TYPEDECLARATION/fields
inst/TYPEDECLARATION/filehash
inst/TYPEDECLARATION/filesstrings
inst/TYPEDECLARATION/flexclust
inst/TYPEDECLARATION/flextable
inst/TYPEDECLARATION/forcats
inst/TYPEDECLARATION/foreach
inst/TYPEDECLARATION/forecast
inst/TYPEDECLARATION/foreign
inst/TYPEDECLARATION/forestplot
inst/TYPEDECLARATION/formatR
inst/TYPEDECLARATION/formattable
inst/TYPEDECLARATION/formula.tools
inst/TYPEDECLARATION/fpCompare
inst/TYPEDECLARATION/fpc
inst/TYPEDECLARATION/fracdiff
inst/TYPEDECLARATION/fs
inst/TYPEDECLARATION/functional
inst/TYPEDECLARATION/futile.logger
inst/TYPEDECLARATION/future.apply
inst/TYPEDECLARATION/gargle
inst/TYPEDECLARATION/gdalUtils
inst/TYPEDECLARATION/gdata
inst/TYPEDECLARATION/gdtools
inst/TYPEDECLARATION/gee
inst/TYPEDECLARATION/geepack
inst/TYPEDECLARATION/genalg
inst/TYPEDECLARATION/generics
inst/TYPEDECLARATION/ggfittext
inst/TYPEDECLARATION/ggforce
inst/TYPEDECLARATION/ggpubr
inst/TYPEDECLARATION/ggrepel
inst/TYPEDECLARATION/ggridges
inst/TYPEDECLARATION/ggthemes
inst/TYPEDECLARATION/git2r
inst/TYPEDECLARATION/glasso
inst/TYPEDECLARATION/glm2
inst/TYPEDECLARATION/globals
inst/TYPEDECLARATION/glue
inst/TYPEDECLARATION/gmp
inst/TYPEDECLARATION/gnm
inst/TYPEDECLARATION/goftest
inst/TYPEDECLARATION/gridBase
inst/TYPEDECLARATION/gridExtra
inst/TYPEDECLARATION/gsubfn
inst/TYPEDECLARATION/gtable
inst/TYPEDECLARATION/gtools
inst/TYPEDECLARATION/hash
inst/TYPEDECLARATION/hms
inst/TYPEDECLARATION/hoardr
inst/TYPEDECLARATION/htmltools
inst/TYPEDECLARATION/hutils
inst/TYPEDECLARATION/hypergeo
inst/TYPEDECLARATION/imputeTS
inst/TYPEDECLARATION/infotheo
inst/TYPEDECLARATION/ini
inst/TYPEDECLARATION/irlba
inst/TYPEDECLARATION/irr
inst/TYPEDECLARATION/isotone
inst/TYPEDECLARATION/iterators
inst/TYPEDECLARATION/janitor
inst/TYPEDECLARATION/jpeg
inst/TYPEDECLARATION/jsonlite
inst/TYPEDECLARATION/kableExtra
inst/TYPEDECLARATION/kappalab
inst/TYPEDECLARATION/kinship2
inst/TYPEDECLARATION/kohonen
inst/TYPEDECLARATION/labelled
inst/TYPEDECLARATION/lamW
inst/TYPEDECLARATION/lambda.r
inst/TYPEDECLARATION/lars
inst/TYPEDECLARATION/later
inst/TYPEDECLARATION/lattice
inst/TYPEDECLARATION/lava
inst/TYPEDECLARATION/lazyeval
inst/TYPEDECLARATION/lhs
inst/TYPEDECLARATION/lifecycle
inst/TYPEDECLARATION/lmerTest
inst/TYPEDECLARATION/lmtest
inst/TYPEDECLARATION/logging
inst/TYPEDECLARATION/logspline
inst/TYPEDECLARATION/longitudinalData
inst/TYPEDECLARATION/loo
inst/TYPEDECLARATION/lsa
inst/TYPEDECLARATION/ltsa
inst/TYPEDECLARATION/lubridate
inst/TYPEDECLARATION/magic
inst/TYPEDECLARATION/magick
inst/TYPEDECLARATION/mapproj
inst/TYPEDECLARATION/matlab
inst/TYPEDECLARATION/matrixStats
inst/TYPEDECLARATION/matrixcalc
inst/TYPEDECLARATION/maxLik
inst/TYPEDECLARATION/mc2d
inst/TYPEDECLARATION/mcclust
inst/TYPEDECLARATION/mcmcse
inst/TYPEDECLARATION/memoise
inst/TYPEDECLARATION/metRology
inst/TYPEDECLARATION/mice
inst/TYPEDECLARATION/miniUI
inst/TYPEDECLARATION/minpack.lm
inst/TYPEDECLARATION/minqa
inst/TYPEDECLARATION/miscTools
inst/TYPEDECLARATION/mlbench
inst/TYPEDECLARATION/mlr3
inst/TYPEDECLARATION/mlr3misc
inst/TYPEDECLARATION/mlt
inst/TYPEDECLARATION/mnormt
inst/TYPEDECLARATION/modelr
inst/TYPEDECLARATION/modeltools
inst/TYPEDECLARATION/moments
inst/TYPEDECLARATION/msm
inst/TYPEDECLARATION/mstate
inst/TYPEDECLARATION/multcomp
inst/TYPEDECLARATION/multicool
inst/TYPEDECLARATION/mvmeta
inst/TYPEDECLARATION/mvtnorm
inst/TYPEDECLARATION/nabor
inst/TYPEDECLARATION/neuralnet
inst/TYPEDECLARATION/nleqslv
inst/TYPEDECLARATION/nlme
inst/TYPEDECLARATION/nloptr
inst/TYPEDECLARATION/nnls
inst/TYPEDECLARATION/norm
inst/TYPEDECLARATION/normalp
inst/TYPEDECLARATION/nortest
inst/TYPEDECLARATION/numDeriv
inst/TYPEDECLARATION/numbers
inst/TYPEDECLARATION/officer
inst/TYPEDECLARATION/openssl
inst/TYPEDECLARATION/openxlsx
inst/TYPEDECLARATION/optimx
inst/TYPEDECLARATION/ordinal
inst/TYPEDECLARATION/orthopolynom
inst/TYPEDECLARATION/outliers
inst/TYPEDECLARATION/pROC
inst/TYPEDECLARATION/paradox
inst/TYPEDECLARATION/parallelMap
inst/TYPEDECLARATION/party
inst/TYPEDECLARATION/pastecs
inst/TYPEDECLARATION/paws.common
inst/TYPEDECLARATION/pbapply
inst/TYPEDECLARATION/pdist
inst/TYPEDECLARATION/permute
inst/TYPEDECLARATION/pheatmap
inst/TYPEDECLARATION/phonTools
inst/TYPEDECLARATION/phylobase
inst/TYPEDECLARATION/pillar
inst/TYPEDECLARATION/pixmap
inst/TYPEDECLARATION/pkgload
inst/TYPEDECLARATION/plot3D
inst/TYPEDECLARATION/plotly
inst/TYPEDECLARATION/plotrix
inst/TYPEDECLARATION/pls
inst/TYPEDECLARATION/plyr
inst/TYPEDECLARATION/poLCA
inst/TYPEDECLARATION/polyclip
inst/TYPEDECLARATION/polycor
inst/TYPEDECLARATION/polynom
inst/TYPEDECLARATION/ppcor
inst/TYPEDECLARATION/prettyunits
inst/TYPEDECLARATION/processx
inst/TYPEDECLARATION/prodlim
inst/TYPEDECLARATION/promises
inst/TYPEDECLARATION/proxy
inst/TYPEDECLARATION/pryr
inst/TYPEDECLARATION/purrr
inst/TYPEDECLARATION/qdapRegex
inst/TYPEDECLARATION/quadprog
inst/TYPEDECLARATION/quantreg
inst/TYPEDECLARATION/rARPACK
inst/TYPEDECLARATION/rTensor
inst/TYPEDECLARATION/randomForest
inst/TYPEDECLARATION/randtoolbox
inst/TYPEDECLARATION/rcdd
inst/TYPEDECLARATION/readbitmap
inst/TYPEDECLARATION/readr
inst/TYPEDECLARATION/readxl
inst/TYPEDECLARATION/rematch2
inst/TYPEDECLARATION/rentrez
inst/TYPEDECLARATION/reshape
inst/TYPEDECLARATION/reshape2
inst/TYPEDECLARATION/rex
inst/TYPEDECLARATION/rgdal
inst/TYPEDECLARATION/rgeos
inst/TYPEDECLARATION/rio
inst/TYPEDECLARATION/rlist
inst/TYPEDECLARATION/roxygen2
inst/TYPEDECLARATION/rpart
inst/TYPEDECLARATION/rprojroot
inst/TYPEDECLARATION/rrcov
inst/TYPEDECLARATION/rsample
inst/TYPEDECLARATION/rsdmx
inst/TYPEDECLARATION/rsm
inst/TYPEDECLARATION/rstantools
inst/TYPEDECLARATION/rsvg
inst/TYPEDECLARATION/rtf
inst/TYPEDECLARATION/sampling
inst/TYPEDECLARATION/scales
inst/TYPEDECLARATION/selectr
inst/TYPEDECLARATION/sessioninfo
inst/TYPEDECLARATION/sets
inst/TYPEDECLARATION/settings
inst/TYPEDECLARATION/sfsmisc
inst/TYPEDECLARATION/shape
inst/TYPEDECLARATION/shinyWidgets
inst/TYPEDECLARATION/signal
inst/TYPEDECLARATION/sjlabelled
inst/TYPEDECLARATION/slam
inst/TYPEDECLARATION/sn
inst/TYPEDECLARATION/snakecase
inst/TYPEDECLARATION/sodium
inst/TYPEDECLARATION/som
inst/TYPEDECLARATION/spam
inst/TYPEDECLARATION/splitstackshape
inst/TYPEDECLARATION/ssanv
inst/TYPEDECLARATION/stabledist
inst/TYPEDECLARATION/startupmsg
inst/TYPEDECLARATION/statmod
inst/TYPEDECLARATION/statnet.common
inst/TYPEDECLARATION/storr
inst/TYPEDECLARATION/stringdist
inst/TYPEDECLARATION/stringr
inst/TYPEDECLARATION/strucchange
inst/TYPEDECLARATION/subplex
inst/TYPEDECLARATION/survRM2
inst/TYPEDECLARATION/svglite
inst/TYPEDECLARATION/sys
inst/TYPEDECLARATION/tensor
inst/TYPEDECLARATION/testit
inst/TYPEDECLARATION/tframe
inst/TYPEDECLARATION/tibble
inst/TYPEDECLARATION/tidyr
inst/TYPEDECLARATION/tidyselect
inst/TYPEDECLARATION/tidytext
inst/TYPEDECLARATION/timeSeries
inst/TYPEDECLARATION/tm
inst/TYPEDECLARATION/tokenizers
inst/TYPEDECLARATION/topicmodels
inst/TYPEDECLARATION/triangle
inst/TYPEDECLARATION/truncdist
inst/TYPEDECLARATION/trust
inst/TYPEDECLARATION/tseries
inst/TYPEDECLARATION/ucminf
inst/TYPEDECLARATION/units
inst/TYPEDECLARATION/urca
inst/TYPEDECLARATION/urltools
inst/TYPEDECLARATION/utf8
inst/TYPEDECLARATION/uuid
inst/TYPEDECLARATION/validate
inst/TYPEDECLARATION/variables
inst/TYPEDECLARATION/vcd
inst/TYPEDECLARATION/vctrs
inst/TYPEDECLARATION/viridisLite
inst/TYPEDECLARATION/wesanderson
inst/TYPEDECLARATION/withr
inst/TYPEDECLARATION/wmtsa
inst/TYPEDECLARATION/wrapr
inst/TYPEDECLARATION/xlsx
inst/TYPEDECLARATION/xml2
inst/TYPEDECLARATION/xtable
inst/TYPEDECLARATION/zeallot
src/.gitignore
src/Contract.cpp
src/Contract.hpp
src/Makevars
src/Severity.cpp
src/Severity.hpp
src/TypeChecker.hpp
src/call_trace.cpp
src/call_trace.hpp
src/check_type.cpp
src/check_type.hpp
src/infer_type.cpp
src/infer_type.hpp
src/init.cpp
src/insert_contract.cpp
src/r_api.hpp
src/raise.cpp
src/raise.hpp
src/severity.cpp
src/severity.hpp
src/type_declaration.cpp
src/type_declaration.hpp
src/utilities.cpp
src/utilities.hpp
tests/testthat.R
tests/testthat/TestPackage/DESCRIPTION
tests/testthat/TestPackage/NAMESPACE
tests/testthat/TestPackage/R/bar.R
tests/testthat/TestPackage/R/foo.R
tests/testthat/helper-call-injecting.R
tests/testthat/helper-typechecker.R
tests/testthat/test-call-injecting.R
tests/testthat/test-type-checking.R
tests/testthat/test-type-compatiblity.R
tests/testthat/test-type-inference.R
tests/testthat/test-typechecker.R