existential-types

There are 0 repository under existential-types topic.

• 4lDO2 / real-async-trait-rs

  A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type erasure

  async-traitgeneric-associated-typeshkthigher-kinded-typesexistential-typesproc-macroproc-macro-attributes
  Language:Rust 45

• sir-wabbit / leibniz

  Leibniz equivalence and Liskov substitutability library for Scala.

  scalawitnessesequalitygadtleibnizliskov-substitution-principleliskov-subsititutionsubtypingexistential-typesvariancedependent-typespropositions-as-types
  Language:Scala 37

• rmehri01 / bidirectional

  ↔️ An implementation of "Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types" in Rust.

  bidirectional-typecheckingexistential-typesrust
  Language:Rust 6

• CaptureContext / swift-existential-container

  Package for opening existentials with ease

  existential-typesgenericsprotocolsruntimespmswiftswift-package-managertype-erasure
  Language:Swift 1

• dmkolobov / genz

  Uniqueness of types via invariant lifetimes.

  existential-typesrustsafetytypes
  Language:Rust 1

• gregorias / safe-money

  a prototype library for safe money representation

  existential-typeshaskelltype-safe
  Language:Haskell 1

• nhiroyasu / ExistentialAnyRefactor

  A refactoring tool to support the adoption of `ExistentialAny` in your Swift codebase.

  existential-typesrefactoring-toolsswift
  Language:Swift

• unitb / existential

  Existential types with lens-like accessors

  existential-types
  Language:Haskell

• wilfreddenton / fold-ts

  experimental fold implementation

  typescriptfoldfoldingreductionreductionsjavascripthaskellexistential-types
  Language:TypeScript