A music player that connects to your cloud/distributed storage. diffuse.sh
Something went wrong. Try again.
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990module Sources.Processing exposing (Arguments, Context, ContextForTags, HttpMethod(..), Marker(..), PrepationAnswer, Status(..), TagUrls, TreeAnswer, httpMethod)
import Sources exposing (Source, SourceData)import Tracks exposing (Tags, Track)
-- 🌳
type Status = Processing ( Source, List Track ) (List ( Source, List Track )) | NotProcessing
type alias Arguments = { origin : String , sources : List Source , tracks : List Track }
-- MARKERS & RESPONSES
type Marker = TheBeginning | InProgress String | TheEnd
type alias PrepationAnswer marker = { sourceData : SourceData , marker : marker }
type alias TreeAnswer marker = { filePaths : List String , marker : marker }
-- CONTEXTS
type alias Context = { filePaths : List String , origin : String , preparationMarker : Marker , source : Source , treeMarker : Marker }
type alias ContextForTags = { nextFilePaths : List String , receivedFilePaths : List String , receivedTags : List (Maybe Tags) , sourceId : String , urlsForTags : List TagUrls }
type alias TagUrls = { getUrl : String , headUrl : String }
-- HTTP
type HttpMethod = Get | Head
httpMethod : HttpMethod -> StringhttpMethod method = case method of Get -> "GET"
Head -> "HEAD"