• Choose a category
• All
• Classic-Fiction

By Root 478 0

in the Court!, Type Classes 102, Type Classes 102, Inside the Eq Type Class, A Traffic Light Data Type, Parameterized Types As Instances of Type Classes, Parameterized Types As Instances of Type Classes, Parameterized Types As Instances of Type Classes, A Yes-No Type Class, The Functor Type Class, Applicative Functors, type vs. newtype vs. data, The Monad Type Class

Bounded, The Read Type Class, Order in the Court!

displaying instances of, Parameterized Types As Instances of Type Classes

Enum, The Read Type Class, Order in the Court!

Eq, Type Classes 101, Derived Instances, Type Classes 102, Parameterized Types As Instances of Type Classes

Floating, The Bounded Type Class

Functor, The Functor Type Class

instances of, Parameterized Types As Instances of Type Classes

Integral, The Integral Type Class

minimum complete definition of, Inside the Eq Type Class

Monad, The Monad Type Class

Num, The Bounded Type Class

open quality of, Applicative Functors

Ord, Type Classes 101, Show Me How to Read

Read, The Ord Type Class, Equating People

reviewing, Type Classes 102

Show, The Ord Type Class, Equating People

subclassing, A Traffic Light Data Type

using, type vs. newtype vs. data

YesNo, A Yes-No Type Class

type constructors, Type Parameters, Vector von Doom, Parameterizing Type Synonyms, Parameterized Types As Instances of Type Classes, Either a As a Functor, Either a As a Functor, Applicative Functors, Law 2

applying types to, Either a As a Functor

as instances of Functor type class, Applicative Functors, Law 2

parameters, Either a As a Functor

type parameters for, Parameterized Types As Instances of Type Classes

vs. value constructors, Vector von Doom, Parameterizing Type Synonyms

type declarations, Explicit Type Declaration, Printing Functions, Some Higher-Orderism Is in Order, Writing an RPN Function

for zipWith function, Some Higher-Orderism Is in Order

in higher-order functions, Printing Functions

type inference, Believe the Type

type instances, making, Inside the Eq Type Class

type keyword, Type Synonyms, On newtype Laziness

type names, capitalization of, Explicit Type Declaration, Common Haskell Types

type parameters, Explicit Type Declaration, Explicit Type Declaration, Explicit Type Declaration, Explicit Type Declaration, Common Haskell Types, Common Haskell Types, Common Haskell Types, Common Haskell Types, Type Parameters, Type Parameters, Should We Parameterize Our Car?

Bool, Common Haskell Types

Char, Common Haskell Types

Double, Common Haskell Types

Float, Explicit Type Declaration

Int, Explicit Type Declaration

Integer, Explicit Type Declaration

of functions, Explicit Type Declaration

passing types as, Type Parameters

tuples as, Common Haskell Types

using, Should We Parameterize Our Car?

type signatures, Shaping Up

type synonyms, Type Synonyms, Making Our Phonebook Prettier, Parameterizing Type Synonyms, type vs. newtype vs. data, MonadPlus and the guard Function, Making a Zipper for Our Filesystem

Either a b type, Parameterizing Type Synonyms

for knight’s position, MonadPlus and the guard Function

for zipper in filesystem, Making a Zipper for Our Filesystem

parameterizing, Making Our Phonebook Prettier

type system, Believe the Type

type variables, Common Haskell Types, The Applicative Style

U

undefined value, Using newtype to Make Type Class Instances

_ (underscore), I'm a List Comprehension, Pattern Matching with Tuples, Pattern Matching with Lists and List Comprehensions

in pattern matching, Pattern Matching with Lists and List Comprehensions

using with lists, I'm a List Comprehension

underscore (_), I'm a List Comprehension, Pattern Matching with Tuples, Pattern Matching with Lists and List Comprehensions

in pattern matching, Pattern Matching with Lists and List Comprehensions

using with lists, I'm a List Comprehension

V

value constructors, Defining a New Data Type, Defining a New Data Type, Shaping Up, Improving Shape with the Point Data Type, Improving Shape with