Is there a place where we can find the Haskell library for Marlowe?

Question

I investigated some Code examples, in haskell for Marlowe smart-contract, and used the "cabal repl" with the " :i " command, like this:

*Main> :i ValueEQ type Observation :: * data Observation = ... | ValueEQ Value Value | ... -- Defined in ‘Language.Marlowe.Extended’

But I could not find the target library ‘Language.Marlowe.Extended’.

Is there a place where we can find the Haskell libraries for Marlowe? There's perhaps also a haddock, like in Plutus, for Marlowe?

Answer 1

With some research, the Haskell libraries for Marlowe seems to be here precisely.

Answer 2

Here are instructions for accessing Marlowe types and functions from ghci.

Answer 3

What you are looking for is the repo where the Marlowe lang is implemented, more specifically the data constructor that you show is defined in the Observation data type:

data Observation = AndObs Observation Observation
                 | OrObs Observation Observation
                 | NotObs Observation
                 | ChoseSomething S.ChoiceId
                 | ValueGE Value Value
                 | ValueGT Value Value
                 | ValueLT Value Value
                 | ValueLE Value Value
                 | ValueEQ Value Value
                 | TrueObs
                 | FalseObs
  deriving stock (Show,Generic)
  deriving anyclass (Pretty)

Which is found in Language.Marlowe.Extended. So you can directly refer to the repo where the Haskell libraries are defined.