收集整理Android开发所需的Android SDK、开发中用到的工具、Android开发教程、Android设计规范，免费的设计素材等。
-
Updated
Aug 4, 2021
#
adt
Here are 205 public repositories matching this topic...
Functional programming style pattern-matching library for C++
-
Updated
Dec 27, 2019 - C++
Specification for common algebraic structures in JavaScript based on Fantasy Land
algebra
functional-programming
algebraic-data-types
specification
monad
functor
monoid
fantasy-land
adt
algebraic
static-land
-
Updated
Oct 29, 2019 - JavaScript
Algebraic data types for C99
pattern-matching
c99
metaprogramming
algebraic-data-types
introspection
adt
type-system
variant
derive
algebraic
sum-types
reflection-library
tagged-unions
metalang99
-
Updated
Aug 13, 2021 - C
十分钟魔法练习
java
tutorial
functional-programming
lambda-calculus
monad
hkt
adt
formal-verification
formal-proofs
-
Updated
Feb 13, 2021 - HTML
Bootstrapped algebraic data types for Elixir
-
Updated
Mar 15, 2021 - Elixir
The repository algorithms implemented on the Go
search
go
golang
algorithm
algorithms
datastructures
sort
adt
search-algorithm
bfs
algorithms-implemented
algorithms-datastructures
algorithms-and-data-structures
-
Updated
Aug 7, 2021 - Go
Variant types in TypeScript
redux
flux
typescript
type-theory
variants
union
adt
discriminated-unions
variant
dispatching
algebraic-data-type
-
Updated
Aug 16, 2021 - TypeScript
Collection of abstract data structures implemented in Java
-
Updated
Dec 28, 2020 - Java
Algebraic Data Types for Elixir: Both functional and fun.
-
Updated
Aug 2, 2021 - Elixir
Algebraic data type (ADT) to represent the state of data that is loading from/to remote sources/destinations
android
kotlin
java
functional-programming
kotlin-android
kotlin-library
algebraic-data-types
adt
remote-data
remotedata
-
Updated
May 18, 2021 - Kotlin
Tools for fetching data from remote sources in Reason
-
Updated
May 11, 2021 - Reason
Scala 3 workshop presenting the top new features of the language.
-
Updated
May 29, 2021 - Scala
SumTypes in TypeScript
-
Updated
Aug 12, 2021 - TypeScript
Expands haskell-syntax ADTs to typescript equivalent types definitions using gcanti/fp-ts-codegen
-
Updated
May 20, 2019 - TypeScript
Homebridge security system platform for ADT Pulse
-
Updated
Aug 18, 2021 - JavaScript
Powerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀
mock
typescript
validation
pipeline
promise
pipe
composition
ramda
ts
context
aop
adt
maybe
either
compose
exit
kleisli
monet
chain-promise
fp-libraries
-
Updated
Mar 31, 2021 - TypeScript
A library of fundamental algorithms and data structures written in C
c
set
list
library
tree
stack
queue
algorithms
graph
data-structures
multiset
abstraction
discrete-mathematics
sorting-algorithms
compsci
adt
tree-search
reference-implementation
fundamental-algorithms
hypergraph
-
Updated
Jul 10, 2019 - C
Universal (cross-language) extensible representation for algebraic data type instances.
-
Updated
Jan 3, 2018 - Python
Improve this page
Add a description, image, and links to the adt topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the adt topic, visit your repo's landing page and select "manage topics."
Is your feature request related to a problem? Please describe.
I'm on my fourth project using Crocks and I keep reaching for the same function
getPropOrError(andgetPathOrError). Instead of me releasing my own library, or copy/pasting the function around I think it would be good to have this in the standard library.Describe the solution you'd like
`getPropOrError :: String -> a