Skip to content
Snippets Groups Projects
Commit e3c896d5 authored by Daniel Firth's avatar Daniel Firth
Browse files

remove broken.dhall

parent 5c3c2ba4
Branches
Tags
No related merge requests found
let HsSrc =
< FromHackage : { name : Text, version : Text }
| FromGit :
{ url : Text, revision : Optional Text, subdir : Optional Text }
>
let Modifiers =
{ Type = { doJailbreak : Bool, doCheck : Bool }
, default = { doJailbreak = True, doCheck = False }
}
let Attr = λ(a : Type) → { mapKey : Text, mapValue : a }
let HsPkg =
{ Type = { source : HsSrc, modifiers : Modifiers.Type }
, default.modifiers = Modifiers.default
}
let callHackage
: ∀(name : Text) → ∀(version : Text) → Attr HsPkg.Type
= λ(name : Text) →
λ(version : Text) →
{ mapKey = name
, mapValue = HsPkg::{ source = HsSrc.FromHackage { name, version } }
}
let callCabal2nix
: ∀(name : Text) →
∀(url : Text) →
∀(revision : Optional Text) →
∀(subdir : Optional Text) →
Attr HsPkg.Type
= λ(name : Text) →
λ(url : Text) →
λ(revision : Optional Text) →
λ(subdir : Optional Text) →
{ mapKey = name
, mapValue = HsPkg::{ source = HsSrc.FromGit { url, revision, subdir } }
}
let callHorizonAdopted
: ∀(name : Text) → ∀(revision : Text) → Attr HsPkg.Type
= λ(name : Text) →
λ(revision : Text) →
callCabal2nix
name
("https://gitlab.homotopic.tech/horizon/adopted/" ++ name)
(Some revision)
(None Text)
in [ callHackage "hiedb" "0.4.2.0" ]
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment