View XmlDocumentationProvider.cs
namespace Hediet.Reflection | |
{ | |
interface IDocumentationProvider | |
{ | |
string GetDocumentationText(MemberInfo memberInfo); | |
string GetDocumentationText(ParameterInfo memberInfo); | |
} | |
class XmlDocumentationProvider : IDocumentationProvider | |
{ |
View BijectivMap.cs
namespace Hediet.Math | |
{ | |
public class BijectivMap | |
{ | |
private readonly int[] lowerKeyBounds; | |
private readonly int[] upperKeyBounds; | |
public BijectivMap(int[] lowerKeyBounds, int[] upperKeyBounds) | |
{ | |
this.lowerKeyBounds = lowerKeyBounds; |
View CustomDiscriminatorObjectConverter.cs
using System; | |
using System.Diagnostics.Contracts; | |
using System.Linq; | |
using Newtonsoft.Json; | |
using Newtonsoft.Json.Linq; | |
namespace Hediet.Json.Converter | |
{ | |
public class CustomDiscriminatorObjectConverter : Newtonsoft.Json.JsonConverter | |
{ |
View data.json
{ | |
"help": "{n} is replaced with the sheet number, n represents the padding of the number e.g. ({2} => (01,02,03))", | |
"name": "KIT Inf SS2015 (4. FSem)", | |
"uebs": { | |
"Sicherheit": { | |
"begin": "2015-04-23 15:45", | |
"every": 14, | |
"url": "https://crypto.iti.kit.edu/fileadmin/User/SicherheitSS15/Uebung/Sicherheit_UE{2}.pdf", | |
"info": "Keine Abgabe. Besprechung in der Übung. <a href='https://crypto.iti.kit.edu/index.php?id=sic-sose15'>Vorlesungsseite</a>" | |
}, |
View ListConverter.cs
using System; | |
using System.Collections; | |
using System.Collections.Generic; | |
using System.Linq; | |
using System.Reflection; | |
namespace Hediet.Common | |
{ | |
/// <summary> | |
/// Casts a list of objects to a strong typed list of any type. |
View main.ts
interface Acceptor<T extends string> { | |
accept(x: UserOf<T>): any; | |
allow<T1 extends string>(x: T1): Acceptor<T|T1>; | |
} | |
interface UserOf<T extends string> { | |
_brand: T; | |
} | |
function use<T extends string>(name: T): UserOf<T> { return null!; } |
View installation.json
{ | |
"dependencies": { | |
"classnames": { | |
"ref": "classnames@2.2.5_1" | |
}, | |
"mobx": { | |
"ref": "mobx@3.2.0_2" | |
}, | |
"mobx-react": { | |
"ref": "mobx-react@4.2.2_3" |
View Latex Alternative.txt
function tex(str: TemplateStringsArray, ...data: string[]) { } | |
const c = Sigma* *1 | |
const Sigma = "uiae"; | |
const SigmaS = ""; | |
const x = | |
( | |
<def> | |
Ein {Sigma}-{Sigma}-Advice (Hinweis) {A} ist eine Abbildung | |
{A : Sigma* -> Pot(Gamma*)} |
View Schema.ts
type SchemaType = PrimitiveSchema | ObjectSchema | ParametrizedObjectSchema; | |
interface PrimitiveSchema<T = any> { | |
kind: "primitive"; | |
type: T; | |
} | |
interface Fields { | |
[name: string]: SchemaType; | |
} |
View demo.ts
// shared | |
export const debuggerProxyContract = contract({ | |
server: { | |
keepAlive: notificationContract({}), | |
}, | |
client: { | |
serverStarted: notificationContract({ params: type({ port: number }) }), | |
clientConnected: notificationContract({}), | |
}, | |
}); |
OlderNewer