Types.elm

module Lib.Types exposing (..)

import Json.Encode as Encode
import Set exposing (Set)

type alias Id = String
type alias FileId = String
type alias TokenId = String
type alias ExerciseId = String
type alias ChapterId = String
type alias Callback = String


type alias HasId a = { a | id : String }

type alias File =
    { name : String
    , content : String
    }

type alias Token =
    { exerciseId : String
    , ltiSessionId : String
    }

type alias Exercise =
    { name : String
    , instructions : String
    , givenFileName : String
    , givenHead : String
    , givenBody : String
    , givenTail : String
    , library: String
    , assertions : String
    , solution : String
    , suppressedErrors : List (Id, String)
    }

type alias Chapter =
    { name : String
    , library : String
    , exercises : List (ExerciseId, String)
    }


type alias AssertionMessage =
    { message : String
    , file : String
    , origin : String
    }

-- as exercise testing response
type alias AssertionResponse =
    { passing : Bool
    , messages : List AssertionMessage
    }

-- used to represent the testing state of an exercise
type AssertionStatus
    = Error String
    | Untested
    | Passing
    | Failing (List AssertionMessage)

type alias Range = (Int, Int)

type alias Snapshot a =
  { key : String
  , val : a
  , ref : String
  }