github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-02 04:10:29 +03:00
Code Issues Projects Releases Wiki Activity

Define ArbitraryTerm in Term.Arbitrary.

Browse Source
This commit is contained in:
Rob Rix 2016-06-01 09:14:06 -04:00
parent 3ada142796
commit 6206f8ae93
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Term/Arbitrary.hs
View File

@ -1 +1,7 @@
module Term.Arbitrary where
import Prologue
import Term
newtype ArbitraryTerm leaf annotation = ArbitraryTerm { unArbitraryTerm :: TermF leaf annotation (ArbitraryTerm leaf annotation) }
deriving (Show, Eq, Generic)