Tutorial by Examples

Location is a service that applications can use to interact with a browser's URL. Depending on which LocationStrategy is used, Location will either persist to the URL's path or the URL's hash segment. Location is responsible for normalizing the URL against the application's base href. import {Comp...

The async pipe subscribes to an Observable or Promise and returns the latest value it has emitted. When a new value is emitted, the async pipe marks the component to be checked for changes. When the component gets destroyed, the async pipe unsubscribes automatically to avoid potential memory leaks. ...

Read the documentation in this order to easily learn postscript: Paul Bourke's excellent tutorial: http://paulbourke.net/dataformats/postscript/ Blue Book, first half, the original official tutorial: http://www-cdf.fnal.gov/offline/PostScript/BLUEBOOK.PDF Green Book, how to use posts...

import React, { Component } from 'react'; import { Modal, Text, View, Button, StyleSheet, } from 'react-native'; const styles = StyleSheet.create({ mainContainer: { marginTop: 22, }, modalContainer: { marginTop: 22, }, }); class Example extends Component...

#import <Foundation/Foundation.h> int main() { NSLog(@"File :%s\n", __FILE__ ); NSLog(@"Date :%s\n", __DATE__ ); NSLog(@"Time :%s\n", __TIME__ ); NSLog(@"Line :%d\n", __LINE__ ); NSLog(@"ANSI :%d\n", __STDC__ ); ...

Given data Empty a we have data Free Empty a = Pure a -- the Free constructor is impossible! which is isomorphic to data Identity a = Identity a

You use it the same way you would use NSMutableDictionary. The difference is that when NSCache detects excessive memory pressure (i.e. it's caching too many values) it will release some of those values to make room. If you can recreate those values at runtime (by downloading from the Internet, by d...

Given data Identity a = Identity a we have data Free Identity a = Pure a | Free (Identity (Free Identity a)) which is isomorphic to data Deferred a = Now a | Later (Deferred a) or equivalently (if you promise to evaluate the fst element first) (Nat, a), aka Writer...

Given data Maybe a = Just a | Nothing we have data Free Maybe a = Pure a | Free (Just (Free Maybe a)) | Free Nothing which is equivalent to data Hopes a = Confirmed a | Possible (Hopes a) | Failed or equivalently (if you promise to evalua...

Given data Writer w a = Writer w a we have data Free (Writer w) a = Pure a | Free (Writer w (Free (Writer w) a)) which is isomorphic to data ProgLog w a = Done a | After w (ProgLog w a) or, equivalently, (if you promise to evaluate the log first), Writer [w] a. ...

Given data Const c a = Const c we have data Free (Const c) a = Pure a | Free (Const c) which is isomorphic to data Either c a = Right a | Left c

Given data Reader x a = Reader (x -> a) we have data Free (Reader x) a = Pure a | Free (x -> Free (Reader x) a) which is isomorphic to data Demand x a = Satisfied a | Hungry (x -> Demand x a) or equivalently Stream x -> a with data Stream x = Stream x...

Given data Empty a we have data Cofree Empty a -- = a :< ... not possible!

Given data Const c a = Const c we have data Cofree (Const c) a = a :< Const c which is isomorphic to data Writer c a = Writer c a

Given data Identity a = Identity a we have data Cofree Identity a = a :< Identity (Cofree Identity a) which is isomorphic to data Stream a = Stream a (Stream a)

Given data Maybe a = Just a | Nothing we have data Cofree Maybe a = a :< Just (Cofree Maybe a) | a :< Nothing which is isomorphic to data NonEmpty a = NECons a (NonEmpty a) | NESingle a

Given data Writer w a = Writer w a we have data Cofree (Writer w) a = a :< (w, Cofree (Writer w) a) which is equivalent to data Stream (w,a) = Stream (w,a) (Stream (w,a)) which can properly be written as WriterT w Stream with data WriterT w m a = WriterT (m (w,a))

Given data Either e a = Left e | Right a we have data Cofree (Either e) a = a :< Left e | a :< Right (Cofree (Either e) a) which is isomorphic to data Hospitable e a = Sorry_AllIHaveIsThis_Here'sWhy a e | EatThis a (Hospitable e a) or, if yo...

Given data Reader x a = Reader (x -> a) we have data Cofree (Reader x) a = a :< (x -> Cofree (Reader x) a) which is isomorphic to data Plant x a = Plant a (x -> Plant x a) aka Moore machine.

The size of the content will be the same as that of its ScrollPane container. import javafx.scene.control.ScrollPane; //Import the ScrollPane import javafx.scene.control.ScrollPane.ScrollBarPolicy; //Import the ScrollBarPolicy import javafx.scene.layout.Pane; ScrollPane scrollpane; Pane con...