Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
Uh oh!
There was an error while loading.
Please reload this page
.
tweag
/
capability
Public
Notifications
You must be signed in to change notification settings
Fork
8
Star
225
Code
Issues
10
Pull requests
0
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights
Commits
Breadcrumbs
History for
capability
examples
on
master
User selector
All users
Datepicker
All time
Commit history
Commits on Jun 16, 2021
Add `censor` function to Capability.Writer
Show description for a744ee7
byorgey
committed
a744ee7
View commit details
Copy full SHA for a744ee7
View code at this point
Browse repository at this point
Commits on Mar 15, 2021
RankNTypes
Show description for aa283bc
aherrmann
committed
aa283bc
View commit details
Copy full SHA for aa283bc
View code at this point
Browse repository at this point
* --> Type
aherrmann
committed
b905f2c
View commit details
Copy full SHA for b905f2c
View code at this point
Browse repository at this point
Commits on May 22, 2020
Implement reflection for ad-hoc interpreters
Show description for 7964920
aherrmann
committed
7964920
View commit details
Copy full SHA for 7964920
View code at this point
Browse repository at this point
Commits on Jun 27, 2019
Introduce HasSource, and make superclasses
Show description for e9e121b
Ericson2314
and
aherrmann
committed
e9e121b
View commit details
Copy full SHA for e9e121b
View code at this point
Browse repository at this point
Commits on Jun 15, 2019
Handling wrapError
gdeest
committed
c2e6203
View commit details
Copy full SHA for c2e6203
View code at this point
Browse repository at this point
Commits on Jun 14, 2019
Fix compile error
gdeest
committed
0eec229
View commit details
Copy full SHA for 0eec229
View code at this point
Browse repository at this point
Simplify context / zoom / magnify interface
Show description for efbb3c4
gdeest
committed
efbb3c4
View commit details
Copy full SHA for efbb3c4
View code at this point
Browse repository at this point
Commits on May 13, 2019
Local / magnify example
gdeest
committed
627d782
View commit details
Copy full SHA for 627d782
View code at this point
Browse repository at this point
Commits on May 7, 2019
Capability-retaining `zoom` and `magnify`
Show description for fbedb0d
gdeest
committed
fbedb0d
View commit details
Copy full SHA for fbedb0d
View code at this point
Browse repository at this point
Commits on May 2, 2019
Removing EmptyDataDecls extension
gdeest
committed
d7d45c0
View commit details
Copy full SHA for d7d45c0
View code at this point
Browse repository at this point
Addressing @aspiwack's comments.
gdeest
committed
eae9653
View commit details
Copy full SHA for eae9653
View code at this point
Browse repository at this point
Introducing `TypeOf` type family
Show description for 7908d36
gdeest
committed
7908d36
View commit details
Copy full SHA for 7908d36
View code at this point
Browse repository at this point
Commits on Dec 22, 2018
Extend writer example to use more than HasStream
Show description for 90e22ee
aherrmann
committed
90e22ee
View commit details
Copy full SHA for 90e22ee
View code at this point
Browse repository at this point
Adapt Writer example to HasStream super class
aherrmann
committed
394113d
View commit details
Copy full SHA for 394113d
View code at this point
Browse repository at this point
Adapt WordCount example to HasStream
Show description for a744082
aherrmann
committed
a744082
View commit details
Copy full SHA for a744082
View code at this point
Browse repository at this point
Commits on Oct 3, 2018
Allow to disable the dependency on hspec-jenkins
Show description for c80eb6c
aherrmann
committed
c80eb6c
View commit details
Copy full SHA for c80eb6c
View code at this point
Browse repository at this point
Commits on Sep 26, 2018
Add zoom combinator similar to wrapError
aherrmann
committed
20f072d
View commit details
Copy full SHA for 20f072d
View code at this point
Browse repository at this point
Use compose to get old tags back in error example
aherrmann
committed
33143c6
View commit details
Copy full SHA for 33143c6
View code at this point
Browse repository at this point
More general wrapError
Show description for 20ca9f6
aherrmann
committed
20ca9f6
View commit details
Copy full SHA for 20ca9f6
View code at this point
Browse repository at this point
Commits on Sep 24, 2018
Merge branch 'module-namespace'
mboes
committed
44e166b
View commit details
Copy full SHA for 44e166b
View code at this point
Browse repository at this point
Drop Has prefix for capabilities.
mboes
committed
d3da40b
View commit details
Copy full SHA for d3da40b
View code at this point
Browse repository at this point
Move all modules under the Capability.* namespace.
mboes
committed
8ac21a5
View commit details
Copy full SHA for 8ac21a5
View code at this point
Browse repository at this point
Rename package to capability
Show description for 746c827
mboes
committed
746c827
View commit details
Copy full SHA for 746c827
View code at this point
Browse repository at this point
extend word count example
aherrmann
committed
734cafa
View commit details
Copy full SHA for 734cafa
View code at this point
Browse repository at this point
Fix warnings in WordCount example
aherrmann
committed
593e7bd
View commit details
Copy full SHA for 593e7bd
View code at this point
Browse repository at this point
Simplify example for blog-post
aherrmann
committed
4c2adf1
View commit details
Copy full SHA for 4c2adf1
View code at this point
Browse repository at this point
Add WordCount example as test-case
Show description for 3a63ef8
aherrmann
committed
3a63ef8
View commit details
Copy full SHA for 3a63ef8
View code at this point
Browse repository at this point
Commits on Aug 21, 2018
Optionally write JUnit XML from hspec
aherrmann
committed
b3d97ef
View commit details
Copy full SHA for b3d97ef
View code at this point
Browse repository at this point
Commits on Aug 17, 2018
Update examples
aherrmann
committed
1dcfe67
View commit details
Copy full SHA for 1dcfe67
View code at this point
Browse repository at this point
Convert exceptions using wrapError
aherrmann
committed
3b9793e
View commit details
Copy full SHA for 3b9793e
View code at this point
Browse repository at this point
The constructor name in Ctor equals the tag
aherrmann
committed
aaabd39
View commit details
Copy full SHA for aaabd39
View code at this point
Browse repository at this point
Commits on Aug 16, 2018
Make HasThrow a super-class of HasCatch
aherrmann
committed
4f0eed7
View commit details
Copy full SHA for 4f0eed7
View code at this point
Browse repository at this point
HasError example - Maybe of Either
aherrmann
committed
84d88f1
View commit details
Copy full SHA for 84d88f1
View code at this point
Browse repository at this point
HasError example - interactive calculator
aherrmann
committed
79250bb
View commit details
Copy full SHA for 79250bb
View code at this point
Browse repository at this point
Previous
Next
You can’t perform that action at this time.