text: // Generated by psc version 0.9.1
  "use strict";
  var $foreign = require("./foreign");
  var Prelude = require("../Prelude");
  var Control_Monad_Eff = require("../Control.Monad.Eff");
  var Data_JSDate = require("../Data.JSDate");
  var Data_Enum = require("../Data.Enum");
  var Data_Maybe = require("../Data.Maybe");
  var DOM = require("../DOM");
  var DOM_HTML_HTMLMediaElement_CanPlayType = require("../DOM.HTML.HTMLMediaElement.CanPlayType");
  var DOM_HTML_HTMLMediaElement_NetworkState = require("../DOM.HTML.HTMLMediaElement.NetworkState");
  var DOM_HTML_HTMLMediaElement_ReadyState = require("../DOM.HTML.HTMLMediaElement.ReadyState");
  var DOM_HTML_Types = require("../DOM.HTML.Types");
  var Control_Semigroupoid = require("../Control.Semigroupoid");
  var Data_Functor = require("../Data.Functor");
  var readyState = function (dictPartial) {
      return function ($2) {
          return Data_Functor.map(Control_Monad_Eff.functorEff)(function ($3) {
              return Data_Maybe.fromJust(dictPartial)(Data_Enum.toEnum(DOM_HTML_HTMLMediaElement_ReadyState.boundedEnumReadyState)($3));
          })($foreign.readyStateIndex($2));
      };
  };
  var networkState = function (dictPartial) {
      return function ($4) {
          return Data_Functor.map(Control_Monad_Eff.functorEff)(function ($5) {
              return Data_Maybe.fromJust(dictPartial)(Data_Enum.toEnum(DOM_HTML_HTMLMediaElement_NetworkState.boundedEnumNetworkState)($5));
          })($foreign.readyStateIndex($4));
      };
  };
  module.exports = {
      networkState: networkState, 
      readyState: readyState, 
      autoplay: $foreign.autoplay, 
      canPlayType: $foreign.canPlayType, 
      controls: $foreign.controls, 
      crossOrigin: $foreign.crossOrigin, 
      currentSrc: $foreign.currentSrc, 
      currentTime: $foreign.currentTime, 
      defaultMuted: $foreign.defaultMuted, 
      defaultPlaybackRate: $foreign.defaultPlaybackRate, 
      duration: $foreign.duration, 
      ended: $foreign.ended, 
      getStartDate: $foreign.getStartDate, 
      load: $foreign.load, 
      loop: $foreign.loop, 
      mediaGroup: $foreign.mediaGroup, 
      muted: $foreign.muted, 
      networkStateIndex: $foreign.networkStateIndex, 
      pause: $foreign.pause, 
      paused: $foreign.paused, 
      play: $foreign.play, 
      playbackRate: $foreign.playbackRate, 
      preload: $foreign.preload, 
      readyStateIndex: $foreign.readyStateIndex, 
      seeking: $foreign.seeking, 
      setAutoplay: $foreign.setAutoplay, 
      setControls: $foreign.setControls, 
      setCrossOrigin: $foreign.setCrossOrigin, 
      setCurrentTime: $foreign.setCurrentTime, 
      setDefaultMuted: $foreign.setDefaultMuted, 
      setDefaultPlaybackRate: $foreign.setDefaultPlaybackRate, 
      setLoop: $foreign.setLoop, 
      setMediaGroup: $foreign.setMediaGroup, 
      setMuted: $foreign.setMuted, 
      setPlaybackRate: $foreign.setPlaybackRate, 
      setPreload: $foreign.setPreload, 
      setSrc: $foreign.setSrc, 
      setVolume: $foreign.setVolume, 
      src: $foreign.src, 
      volume: $foreign.volume
  };
  