jeetu7

## login_logout_databases.py
"""
following is requirements.txt
============
starlette
sqlalchemy
databases[sqlite]
uvicorn
imia
passlib
sqlalchemy_utils

## idris_doc_2.html
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN"
   "http://www.w3.org/TR/html4/strict.dtd">
<!--
generated by Pygments <https://pygments.org/>
Copyright 2006-2019 by the Pygments team.
Licensed under the BSD license, see LICENSE for details.
-->
<html>
<head>
  <title></title>

## idris_doc_1.html
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN"
   "http://www.w3.org/TR/html4/strict.dtd">
<!--
generated by Pygments <https://pygments.org/>
Copyright 2006-2019 by the Pygments team.
Licensed under the BSD license, see LICENSE for details.
-->
<html>
<head>
  <title></title>

## gist:3023939d09c182e8d78659174a08f7ac
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN"
   "http://www.w3.org/TR/html4/strict.dtd">
<!--
generated by Pygments <https://pygments.org/>
Copyright 2006-2019 by the Pygments team.
Licensed under the BSD license, see LICENSE for details.
-->
<html>
<head>
  <title></title>

## example.idr
module Main
import Data.List

mySum : List Double -> Double
mySum [] = 0
mySum (x :: xs) = x + mySum xs

ms : List Double
ms = [1.0, 2.0, 3.0]

## trycast.idr
module Main


x1 : Int
x1 = 2

doubleToInt : Double -> Int
doubleToInt y = cast y

x2 : Double

## mywrite.idr
module Main
import System.File

main : IO ()
main = do myFile <- openFile "out_string.txt" WriteTruncate
          case myFile of
              Right c => fPutStr myFile "Alpha Beta"
              Left err => printLn err
          closeFile myFile


## ChartModule.js
// This function creates the Chart widget.  If updating the Chart.js library
// shipped with mesa, check the compatibility and modify the function as
// required.
//
// Chart.js version: 2.1.6
// input arguments:
//      series: Data to be plotted
//      canvas_width: the width of the html5 canvas
//      canvas_height: the height of the html5 canvas
var ChartModule = function(series, canvas_width, canvas_height) {

## model.py

class Material(DeclarativeBase):
    __tablename__ = 'materials'

    id = Column(Integer, primary_key=True)

    Name = Column(Unicode(50), nullable=False)
    voltage = Column(Float(10), nullable=True)
    vol_1 = Column(Float(10), nullable=True)
    vol_1_ref = Column(Unicode(10), nullable=True)
	"""
	following is requirements.txt
	============
	starlette
	sqlalchemy
	databases[sqlite]
	uvicorn
	imia
	passlib
	sqlalchemy_utils
	<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN"
	"http://www.w3.org/TR/html4/strict.dtd">
	<!--
	generated by Pygments <https://pygments.org/>
	Copyright 2006-2019 by the Pygments team.
	Licensed under the BSD license, see LICENSE for details.
	-->
	<html>
	<head>
	<title></title>
	module Main
	import Data.List

	mySum : List Double -> Double
	mySum [] = 0
	mySum (x :: xs) = x + mySum xs

	ms : List Double
	ms = [1.0, 2.0, 3.0]
	module Main


	x1 : Int
	x1 = 2

	doubleToInt : Double -> Int
	doubleToInt y = cast y

	x2 : Double
	module Main
	import System.File

	main : IO ()
	main = do myFile <- openFile "out_string.txt" WriteTruncate
	case myFile of
	Right c => fPutStr myFile "Alpha Beta"
	Left err => printLn err
	closeFile myFile
	// This function creates the Chart widget. If updating the Chart.js library
	// shipped with mesa, check the compatibility and modify the function as
	// required.
	//
	// Chart.js version: 2.1.6
	// input arguments:
	// series: Data to be plotted
	// canvas_width: the width of the html5 canvas
	// canvas_height: the height of the html5 canvas
	var ChartModule = function(series, canvas_width, canvas_height) {

	class Material(DeclarativeBase):
	__tablename__ = 'materials'

	id = Column(Integer, primary_key=True)

	Name = Column(Unicode(50), nullable=False)
	voltage = Column(Float(10), nullable=True)
	vol_1 = Column(Float(10), nullable=True)
	vol_1_ref = Column(Unicode(10), nullable=True)